- Type defaulting
- Type parameter order
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. Recently, there have been some new extensions to that command, and those are covered here.