:type and :kind

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.