Ersatz.Bit

data Bit

assert

class Boolean b