Checks

type Check m a

interfaceCheck

importCheck

kindCheck

syntaxCheck

precCheck

typeCheck

exportCheck

expandExports

warnCheck