0.1.2.0
PolyKinds
sboolEqRefl :: SBoolI (a == b) => Maybe (a :~: b)
0.1.1.0
eqToRefl
eqCast
trivialRefl