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