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