Djinn

            Type a type signature, e.g. f :: a -> a -> a.

            You can also use a query parameter e.g. "?q=f::a->a->a" to create a URL that will
            automatically query Djinn and display the result.

            Type :help in Advanced Mode to see a list of commands.