monotyping