purescript-0.1.15: PureScript Programming Language Compiler
Language.PureScript.TypeChecker.Kinds
Description
kindsOf :: Maybe ProperName -> [String] -> [Type] -> Check KindSource
kindOf :: Type -> Check KindSource