Darcs.Witnesses.Sealed
data Sealed a
data Sealed2 a
data FlippedSeal a