Darcs.Witnesses.Sealed
data Sealed a
data Sealed2 a
data FlippedSeal a
class Gap w
data FreeLeft p
data FreeRight p