<*> + <*> | + <*> | | + <*> | | | + <*> | | | | + pure ((.) ((.) ((.) const)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id))))) | | | | ` def name_14 | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure ((.) (const id) . flip ($)) | | | | | | ` def name_30 | | | | | | ` pure () | | | | | ` def name_1 | | | | | ` <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | ` <|> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure ((flip ($)) ((flip ($)) () . (const id . (flip ($)) ())) . ((.) . const id)) | | | | | | | | | ` def name_28 | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (const id) | | | | | | | | | | ` satisfy | | | | | | | | | ` ref name_30 | | | | | | | | ` def name_26 | | | | | | | | ` <|> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | | | | ` ref name_28 | | | | | | | | | ` rec name_26 | | | | | | | | ` pure id | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id))))) | | | | | | | | | | | ` try | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure ((flip ($)) ((flip ($)) Haskell . (cons . const Haskell)) . ((.) . (cons . const Haskell))) | | | | | | | | | | | | ` satisfy | | | | | | | | | | | ` satisfy | | | | | | | | | | ` ref name_30 | | | | | | | | | ` def name_23 | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` rec name_23 | | | | | | | | | ` pure id | | | | | | | | ` ref name_30 | | | | | | | ` ref name_30 | | | | | | ` rec name_1 | | | | | ` pure id | | | | ` ref name_30 | | | ` ref name_30 | | ` def name_29 | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) (((.) ((flip ($)) id) . const) id))))))) . ((.) ((.) ((.) ((.) ((.) ((.) (const id)))))) . ((.) ((.) ((flip ($)) ((.) ((.) const) . ((flip ($)) (const id) . ((.) . ((.) . const id)))))) . ((.) ((.) (.)) . ((.) ((.) (.)) . ((.) ((.) (.)) . ((.) ((.) (.)) . ((.) ((.) (const id)) . ((.) (const id) . const id)))))))))) | | | | | | | | | | | ` try | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | ` try | | | | | | | | | | | | ` <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + pure ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) (cons . const Haskell) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell))))) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell)))))) . ((.) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell))))))) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell)))))))) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell))))))))) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell)))))))))) | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` def name_5 | | | | | | | | | | | | ` pure Haskell | | | | | | | | | | | ` def name_8 | | | | | | | | | | | ` negLook | | | | | | | | | | | ` satisfy | | | | | | | | | | ` ref name_14 | | | | | | | | | ` def name_10 | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (const id) | | | | | | | | | | ` try | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id)))) | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | ` def name_16 | | | | | | | | | | | ` <|> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` rec name_16 | | | | | | | | | | | ` pure id | | | | | | | | | | ` ref name_30 | | | | | | | | | ` ref name_14 | | | | | | | | ` def name_18 | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (const . const Haskell) | | | | | | | | | ` satisfy | | | | | | | | ` ref name_14 | | | | | | | ` def name_15 | | | | | | | ` <|> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((.) ((.) ((.) (const ()))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id))))) | | | | | | | | | | | ` def name_6 | | | | | | | | | | | ` <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | ` ref name_10 | | | | | | | | | | | ` <|> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure (const ()) | | | | | | | | | | | | ` def name_21 | | | | | | | | | | | | ` <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure ((.) ((.) ((.) ((flip ($)) (const . const Haskell)))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) const)) . ((.) ((flip ($)) ((flip ($)) ((flip ($)) () . (const id . (flip ($)) ())) . ((.) . const id))) . ((.) (.) . ((.) (.) . ((.) (const id) . (const . const Haskell))))))))) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | | ` def name_3 | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` def name_19 | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | | | | | | | | | | ` ref name_3 | | | | | | | | | | | | | | | ` rec name_19 | | | | | | | | | | | | | | ` pure id | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | ` ref name_30 | | | | | | | | | | ` ref name_30 | | | | | | | | | ` def name_11 | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure ((.) ((.) (.)) . ((flip ($)) (const id) . ((.) . (.)))) | | | | | | | | | | | | | ` def name_17 | | | | | | | | | | | | | ` pure (flip const) | | | | | | | | | | | | ` def name_7 | | | | | | | | | | | | ` <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure (const . const Haskell) | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | ` ref name_6 | | | | | | | | | | ` rec name_11 | | | | | | | | | ` pure id | | | | | | | | ` ref name_30 | | | | | | | ` ref name_30 | | | | | | ` <|> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure ((.) ((.) (const ())) . ((.) (const id) . (const . const Haskell))) | | | | | | | | | ` satisfy | | | | | | | | ` ref name_14 | | | | | | | ` ref name_15 | | | | | | ` ref name_30 | | | | | ` def name_24 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (const . const Haskell) | | | | | | ` satisfy | | | | | ` ref name_14 | | | | ` def name_12 | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure ((.) ((.) ((.) ((.) ((flip ($)) (const . const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((flip ($)) ((.) (const id) . flip ($))) . ((.) (.) . ((.) (.) . ((.) (.) . ((.) (const id) . (const . const Haskell)))))))))) | | | | | | | | | | ` satisfy | | | | | | | | | ` ref name_14 | | | | | | | | ` ref name_30 | | | | | | | ` def name_25 | | | | | | | ` <|> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure ((.) . ((.) ((flip ($)) id) . const) id) | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + pure ((.) ((.) ((.) (const id))) . ((.) ((.) (const id)) . ((.) (const id) . const id))) | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure ((flip ($)) (cons . const Haskell) . ((.) . ((.) . (cons . const Haskell)))) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` ref name_5 | | | | | | | | | | | | | | ` ref name_8 | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | ` def name_9 | | | | | | | | | | | | ` <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + pure ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id)))) | | | | | | | | | | | | | | | ` def name_13 | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + pure (const Haskell) | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | + pure (const Haskell) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + pure ((.) ((flip ($)) (const . const Haskell)) . ((.) (.) . ((.) (.) . ((.) const . (const id . const Haskell))))) | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + pure ((flip ($)) (const id) . ((.) . ((.) . (const id . const Haskell)))) | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | | | ` ref name_10 | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + pure (const ()) | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + pure ((.) const . const id) | | | | | | | | | | | | | | | | | | | ` ref name_18 | | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | + pure ((.) ((.) ((.) (const ()))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id))))) | | | | | | | | | | | | | | | | | | | | | | ` rec name_9 | | | | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | | | | ` def name_20 | | | | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | | + pure ((.) ((.) (.)) . ((flip ($)) (const id) . ((.) . (.)))) | | | | | | | | | | | | | | | | | | | | | | | | ` ref name_17 | | | | | | | | | | | | | | | | | | | | | | | ` ref name_7 | | | | | | | | | | | | | | | | | | | | | | ` rec name_9 | | | | | | | | | | | | | | | | | | | | | ` rec name_20 | | | | | | | | | | | | | | | | | | | | ` pure id | | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | ` ref name_24 | | | | | | | | | | | | | | | | ` ref name_21 | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | ` def name_27 | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure ((.) ((.) (.)) . ((.) ((.) (((.) ((flip ($)) id) . const) id)) . ((.) (const id) . (const . const Haskell)))) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | | ` ref name_13 | | | | | | | | | | | | | | ` rec name_27 | | | | | | | | | | | | | ` pure id | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | ` rec name_12 | | | | | | | | | | ` <|> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure ((.) ((.) (const ())) . ((.) (const id) . const id)) | | | | | | | | | | | | | ` try | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + pure ((flip ($)) ((flip ($)) ((flip ($)) (cons . const Haskell) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell))))) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell)))))) | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` ref name_5 | | | | | | | | | | | | | ` ref name_8 | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | ` rec name_12 | | | | | | | | | | ` ref name_30 | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + pure ((.) ((.) (const id)) . ((.) (const id) . const id)) | | | | | | | | | | | | | ` try | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + pure ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) (cons . const Haskell) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell))))) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell)))))) . ((.) . ((.) . ((.) . ((.) . ((.) . (cons . const Haskell))))))) | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` ref name_5 | | | | | | | | | | | | | ` ref name_8 | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | ` ref name_9 | | | | | | | | | | ` rec name_12 | | | | | | | | | ` <|> | | | | | | | | | + try | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) const))))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id)))))))))) . ((.) ((.) ((.) ((.) ((.) ((.) (.)))))) . ((.) ((.) ((.) ((.) ((.) ((.) (.)))))) . ((.) ((.) ((.) ((.) ((.) ((.) (.)))))) . ((.) ((.) ((.) ((.) ((.) ((.) (.)))))) . ((.) ((.) ((.) ((.) ((.) ((.) (const id)))))) . ((.) ((.) ((.) ((.) ((flip ($)) (const . const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) (const id)))) . ((flip ($)) ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const id)))) . ((.) . ((.) . ((.) . ((.) . const id)))))))))))))))) | | | | | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | + pure ((.) (const ()) . const id) | | | | | | | | | | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | | + pure (const id) | | | | | | | | | | | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | | | | | | + pure ((flip ($)) ((flip ($)) (cons . const Haskell) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell))))) | | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | | | | | | | ` ref name_5 | | | | | | | | | | | | | | | | | | | | | | | ` ref name_8 | | | | | | | | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | | | | ` ref name_6 | | | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | | | ` def name_2 | | | | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | | | | + pure ((.) ((.) (.)) . ((flip ($)) (const id) . ((.) . (.)))) | | | | | | | | | | | | | | | | | | | | | | ` ref name_17 | | | | | | | | | | | | | | | | | | | | | ` ref name_7 | | | | | | | | | | | | | | | | | | | | ` ref name_6 | | | | | | | | | | | | | | | | | | | ` rec name_2 | | | | | | | | | | | | | | | | | | ` pure id | | | | | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` ref name_14 | | | | | | | | | | | | | | ` ref name_9 | | | | | | | | | | | | | ` ref name_30 | | | | | | | | | | | | ` def name_4 | | | | | | | | | | | | ` <|> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + pure ((.) ((.) (.)) . ((flip ($)) (const id) . ((.) . (.)))) | | | | | | | | | | | | | | | | ` ref name_17 | | | | | | | | | | | | | | | ` ref name_7 | | | | | | | | | | | | | | ` ref name_9 | | | | | | | | | | | | | ` rec name_4 | | | | | | | | | | | | ` pure id | | | | | | | | | | | ` ref name_30 | | | | | | | | | | ` def name_22 | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure (const . const Haskell) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` ref name_14 | | | | | | | | | ` <*> | | | | | | | | | + <*> | | | | | | | | | | + pure const | | | | | | | | | | ` ref name_9 | | | | | | | | | ` ref name_22 | | | | | | | | ` rec name_25 | | | | | | | ` pure id | | | | | | ` ref name_30 | | | | | ` satisfy | | | | ` ref name_14 | | | ` rec name_29 | | ` pure id | ` ref name_30 ` eof