Parse successful.
sign: set1
body: Rec {}
sign: Rec {}
body: {||}
sign: (Rec0 {a, b} -> set1)
body: (\ Rec {a: Rec {}, b: Rec {} | [0]})
sign: (Rec0 {a, b} -> ([0] -> Rec {a: Rec {}, b: Rec {} | [1]}))
body: (\ (\ {|a = {||}, b = {||}, ... = [0]|}))
Checkmate, dram!