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