Boxed Sums (GHC)

Got it, it’s just lack of demand, that’s what I thought was probably the case. They also don’t really have constructors, which might make it hard to implement. ((|2) can’t be made into (|) 2), without ambiguity. Thanks.