First to be more in line with how the literature treats these types. But also to make them workable with type classes.
Johan B.W. de Vries