λ(x : Bool)
→ λ(x : Bool)
→ { example0 = 0b0
  , example1 = 0b10
  , example2 = -0b11001
  , example3 = +0b100
  , example4 = x@0b01
  }