Cryptol.TypeCheck.Kind

checkType

checkSchema

checkNewtype

checkTySyn