Sure, but I think this is still better than declaring type system bankruptcy because determining whether trees of units are equivalent is hard. You could do ne

Sure, but I think this is still better than declaring type system bankruptcy because determining whether trees of units are equivalent is hard. You could do newtype wrappers in situations where it is warranted.