cogent/repr-scratch.cogent

repr Foo = record 
  { y: 2B at 0b
  , x: 8b at 2B
  , z: Varnt at 3B
  }


repr Varnt = variant (1b at 2b)
             { A(1): 32b at 1B
             , B(0): 32b at 1B
             }