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