:: a -> b package:ghc