Checks
type Check m a
interfaceCheck
importCheck
kindCheck
syntaxCheck
precCheck
typeCheck
exportCheck
expandExports
warnCheck