Closed phadej closed 5 years ago
Also pretty boring: instance Universe a => Universe (Identity a)
, instance Universe a => Universe (Const a b)
, and instance Universe a => Universe (K1 i a p)
.
Moved. Added Identity and Const. Will add generics later.
Void
,V1 a
,()
, andU1 a
are unusual in that each has exactly one lawful instance. So I don't see any reason for those even to be orphans.