Parse successful.
sign: (set0 -> (Rec0 {x} -> (Rec {x: [1] | [0]} -> [2])))
body: (\ (\ (\ ([0].x))))
Checkmate, dram!