<*> + <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) | | | | | ` def name_4 | | | | | ` pure (\x0 -> (\x1 -> x0)) (\x0 -> x0) | | | | ` def name_2 | | | | ` <*> | | | | + <*> | | | | | + def name_5 | | | | | | ` pure (\x0 -> (\x1 -> x0)) (\x0 -> x0) | | | | | ` def name_7 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0) | | | | | | ` rec name_2 | | | | | ` rec name_7 | | | | ` rec name_2 | | | ` def name_6 | | | ` pure () | | ` ref name_4 | ` def name_1 | ` <*> | + <*> | | + ref name_5 | | ` def name_3 | | ` <*> | | + <*> | | | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0) | | | ` rec name_1 | | ` rec name_3 | ` rec name_1 ` ref name_6