2.9 Monomorph
A monomorph is a type which may, through unification, morph into a different type later. We shall see details about this type when talking about type inference.
A monomorph is a type which may, through unification, morph into a different type later. We shall see details about this type when talking about type inference.