Checks
type Check m a
interfaceCheck
importCheck
extensionCheck
typeSyntaxCheck
kindCheck
syntaxCheck
precCheck
deriveCheck
instanceCheck
typeCheck
exportCheck
expandExports
warnCheck