Skip to content

Instantly share code, notes, and snippets.

@sacundim

sacundim/BadIota.hs

Last active January 13, 2017 02:36
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save sacundim/db9dbaeaff671265c8aa41ed8fdd96c7 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save sacundim/db9dbaeaff671265c8aa41ed8fdd96c7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
BadIota.hs
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.
-}
Raw
GoodIota.hs
-- 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