Djinn

            Type a type signature, e.g. f :: a -> a -> a.
            Type :help in Advanced Mode to see a list of commands.