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