Minor notes in imp.hs