Cryptol.TypeCheck.TypeOf
fastTypeOf
fastSchemaOf