Simplify module Types, JaneStreet style.