thoughts:haskell-to-agda: cosmetic