<*> + <*> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4)))) | | | ` def name_3 | | | ` pure unit | | ` def name_2 | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4))))) | | | | | ` def name_7 | | | | | ` pure (\u1 -> (\u2 -> u2)) | | | | ` satisfy | | | ` rec name_2 | | ` pure (\u1 -> u1) | ` ref name_3 ` def name_5 ` <*> + pure (\u1 -> u1 Pure) ` def name_4 ` <|> + <*> | + <*> | | + <*> | | | + <*> | | | | + conditional | | | | | + bs | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6)))))) | | | | | | | ` satisfy | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> Pure u5 : u10 u11))))))))))) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` ref name_3 | | | | | | | | | ` def name_6 | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4))))) | | | | | | | | | | | | ` ref name_7 | | | | | | | | | | | ` satisfy | | | | | | | | | | ` rec name_6 | | | | | | | | | ` pure (\u1 -> u1) | | | | | | | | ` ref name_3 | | | | | | | ` rec name_5 | | | | | | ` satisfy | | | | | + look | | | | | | ` satisfy | | | | | ` empty | | | | ` ref name_3 | | | ` def name_1 | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4))))) | | | | | | ` ref name_7 | | | | | ` satisfy | | | | ` rec name_1 | | | ` pure (\u1 -> u1) | | ` ref name_3 | ` rec name_4 ` pure (\u1 -> u1)