λ(x : Bool)
→ λ(x : Bool)
→ { example0 = 0xFF
  , example1 = -0x1A10
  , example2 = x@0x01
  }