Checks

type Check m a

interfaceCheck

importCheck

extensionCheck

typeSyntaxCheck

kindCheck

syntaxCheck

precCheck

deriveCheck

instanceCheck

typeCheck

exportCheck

expandExports

warnCheck