Last active
January 13, 2017 02:36
-
-
Save sacundim/db9dbaeaff671265c8aa41ed8fdd96c7 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
i x = x s k | |
where s f g x = f x (g x) | |
k x y = x | |
-- Now this gives an epic compilation error... | |
k = i (i (i i)) | |
s = i (i (i (i i))) | |
{- | |
GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help | |
Prelude> :load "/Users/sacundim/src/scratch.hs" | |
[1 of 1] Compiling Main ( /Users/sacundim/src/scratch.hs, interpreted ) | |
/Users/sacundim/src/scratch.hs:6:13: | |
Occurs check: cannot construct the infinite type: | |
t0 | |
~ | |
(((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4 | |
Expected type: ((((((t4 -> t -> t4) | |
-> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4 | |
Actual type: ((((((t4 -> t -> t4) | |
-> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> t0 | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> (((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4) | |
-> ((t4 -> t -> t4) -> ((t4 -> t) -> t4 -> t4) -> t4 -> t -> t4) | |
-> ((t4 -> t -> t4) -> (t4 -> t) -> t4 -> t4) | |
-> (t4 -> t -> t4) | |
-> t4 | |
-> t | |
-> t4 | |
Relevant bindings include | |
k :: t4 -> t -> t4 | |
(bound at /Users/sacundim/src/scratch.hs:6:1) | |
In the first argument of ‘i’, namely ‘i’ | |
In the first argument of ‘i’, namely ‘(i i)’ | |
/Users/sacundim/src/scratch.hs:7:16: | |
Occurs check: cannot construct the infinite type: | |
t3 | |
~ | |
(((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t | |
Expected type: ((((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t | |
Actual type: ((((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> t3 | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> ((((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) -> t2 -> t1 -> t2) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t) | |
-> (((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) -> (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> ((t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t) | |
-> (t2 -> t1 -> t2) | |
-> (t5 -> t4 -> t) | |
-> (t5 -> t4) | |
-> t5 | |
-> t | |
Relevant bindings include | |
s :: (t5 -> t4 -> t) -> (t5 -> t4) -> t5 -> t | |
(bound at /Users/sacundim/src/scratch.hs:7:1) | |
In the first argument of ‘i’, namely ‘i’ | |
In the first argument of ‘i’, namely ‘(i i)’ | |
Failed, modules loaded: none. | |
-} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- This program compiles just fine... | |
i x = x k s k | |
where s f g x = f x (g x) | |
k x y = x | |
k = i i i | |
s = i (i i) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment