Cryptol.TypeCheck.TypeOf

fastTypeOf

fastSchemaOf