lets + let | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` ref | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` <*> | | + <*> | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | ` pure (GHC.Tuple.()) | | ` ref | ` pure (GHC.Tuple.()) + let | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` ref | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` <*> | | + <*> | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | ` ref | | ` ref | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure ('[') | | | | ` satisfy | | | ` ref | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` ref | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | ` pure (GHC.Tuple.()) | | | ` ref | | ` pure (GHC.Tuple.()) | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (']') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure ('{') | | | | ` satisfy | | | ` ref | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | ` ref | | | ` ref | | ` ref | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure ('}') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` ref | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (GHC.Tuple.()) | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` try | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` satisfy | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure ('(') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (')') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (',') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_0) | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (';') | | ` satisfy | ` ref + let | ` <*> | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | ` pure (\x_0 -> \x_1 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure (\x_0 -> x_0) | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | ` try | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('f') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('u') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('n') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('c') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('t') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('i') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('o') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('n') | | | | | | | | ` satisfy | | | | | | | ` pure (GHC.Types.[]) | | | | | | ` ref | | | | | ` ref | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` ref | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` ref | | | | | ` <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (GHC.Tuple.()) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure (':') | | | | | | | | ` satisfy | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure ('!') | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` <|> | | | + <|> | | | | + <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | ` try | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('i') | | | | | | | | ` satisfy | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure ('f') | | | | | | | | ` satisfy | | | | | | | ` pure (GHC.Types.[]) | | | | | | ` ref | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | | ` try | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure ('w') | | | | | | | | | ` satisfy | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure ('h') | | | | | | | | | ` satisfy | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure ('i') | | | | | | | | | ` satisfy | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure ('l') | | | | | | | | | ` satisfy | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure ('e') | | | | | | | | | ` satisfy | | | | | | | | ` pure (GHC.Types.[]) | | | | | | | ` ref | | | | | | ` ref | | | | | ` rec | | | | ` try | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | | ` <|> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | ` pure (GHC.Tuple.()) | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | | | | ` try | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | | | ` pure ('v') | | | | | | | | | | | ` satisfy | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | | | ` pure ('a') | | | | | | | | | | | ` satisfy | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((GHC.Types.:)) | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | | | | ` pure ('r') | | | | | | | | | | | ` satisfy | | | | | | | | | | ` pure (GHC.Types.[]) | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | | ` ref | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | | ` pure (\x_0 -> x_0) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | | ` pure ('=') | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` ref | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) | | | | ` pure (\x_0 -> \x_1 -> x_0) | | | ` satisfy | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + ref | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` ref | | | ` rec | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + ref | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + ref | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)) | | | ` <*> | | | + ref | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (GHC.Tuple.()) | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` ref | | ` <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure (\x_0 -> x_0) | | | ` <*> | | | + <*> | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure ('0') | | | | | ` satisfy | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure ('1') | | | | ` satisfy | | | ` ref | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure ('\'') | | | | ` satisfy | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure (\x_0 -> x_0) | | | | | ` satisfy | | | | ` ref | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure ('\\') | | | | ` satisfy | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | ` pure (\x_0 -> x_0) | | | | ` satisfy | | | ` ref | | ` <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` pure ('\'') | | | ` satisfy | | ` ref | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` ref | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (GHC.Tuple.()) | | ` <|> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure (\x_0 -> x_0) | | | | | ` ref | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | ` pure (GHC.Tuple.()) | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` rec | | | | | ` <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> x_0) | | | | | | | ` pure (\x_0 -> x_0) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` pure (GHC.Tuple.()) + let | ` pure (GHC.Tuple.()) + let | ` satisfy ` <*> + pure (GHC.Show.show) ` <*> + <*> | + pure (\x_0 -> \x_1 -> x_0) | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` ref | ` <*> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_0) | | | ` pure (\x_0 -> x_0) | | ` <*> | | + <*> | | | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)) | | | ` ref | | ` ref | ` ref ` eof