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