lets + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_1) | | ` ref | ` <|> | + <*> | | + pure (\x_0 -> GHC.Tuple.()) | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3) | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> x_4) | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.()) | | | | | | ` satisfy | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> '(') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> ')') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> ',') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> ';') | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> GHC.Tuple.()) | | ` ref | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_1) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_1) | | ` try | | ` <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3) | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> x_1) | | | ` <|> | | | + <*> | | | | + pure (\x_0 -> '0') | | | | ` satisfy | | | ` <*> | | | + pure (\x_0 -> '1') | | | ` satisfy | | ` ref | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1) | | | | | ` satisfy | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> x_1) | | | | | | ` satisfy | | | | | ` ref | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2) | | | | | | ` satisfy | | | | | ` satisfy | | | | ` ref | | | ` satisfy | | ` ref | ` <*> | + <*> | | + pure (\x_0 -> \x_1 -> x_1) | | ` ref | ` <|> | + <*> | | + pure (\x_0 -> GHC.Tuple.()) | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1) | | | | | ` ref | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.()) | | | | | | | | ` rec | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4)) | | | | | ` ref | | | | ` ref | | | ` rec | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8 x_9) | | | | | | | | | | ` try | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[])))))))) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` satisfy | | | | | | | | | | | ` satisfy | | | | | | | | | | ` satisfy | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` ref | | | | | ` <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.()) | | | | | | | | ` satisfy | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4)) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4)) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4)) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_3 x_4) | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2) | | | ` <|> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> x_1) | | | | | ` try | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[])) | | | | | | ` satisfy | | | | | ` satisfy | | | | ` ref | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3) | | | | | | | ` try | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[]))))) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` satisfy | | | | | | | | | ` satisfy | | | | | | | | ` satisfy | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` ref | | | | ` rec | | | ` <|> | | | + try | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> \x_10 -> \x_11 -> x_10) | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> GHC.Tuple.()) | | | | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[]))) | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | ` ref | | | | | | | | | | | | ` ref | | | | | | | | | | | ` ref | | | | | | | | | | ` satisfy | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` 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_1 x_2) | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2) | | | ` ref | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2) | | | ` satisfy | | ` rec | ` pure (\x_0 -> x_0) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.()) | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` pure (GHC.Tuple.()) + let | ` pure (GHC.Tuple.()) + let | ` pure (\x_0 -> \x_1 -> x_1) + let | ` satisfy ` <*> + <*> | + <*> | | + <*> | | | + <*> | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> GHC.Show.show x_3) | | | | ` ref | | | ` ref | | ` ref | ` ref ` eof