Darcs.Witnesses.Sealed
data Sealed a
seal
unseal
mapSeal
unsafeUnseal
unsafeUnsealFlipped
unsafeUnseal2
data Sealed2 a
seal2
unseal2
mapSeal2
data FlippedSeal a y
flipSeal
unsealFlipped
mapFlipped
unsealM
liftSM
class Gap w
data FreeLeft p
unFreeLeft
data FreeRight p
unFreeRight