Something Haskell makes much nicer to work with than OCaml/SML is how easy it is to partially apply type constructors. You can abstract over `type 'a t` and `type ('a, 'b) t` at the same time.
Noticed this while porting finger trees.
Noticed this while porting finger trees.
Comments
In my experience, defining type constructors with more than one type argument is a sign that you aren't separating concerns sufficiently well.