- Type defaulting
- Type parameter order
- Querying kinds
GHCi has always (so far as we know) had a command for querying the type of a function, and that is
:type. It can be used to ask for the type of a data constructor or function, whether from your own source file or from any dependency, so long as it is in scope. Since the
:kind command is so closely related to the
:type command, we cover that here as well.