module Main (main) where
-- Does not typecheck yet :-(
main = putStr (hello (:) [] succ minBound)

s f g x = f x (g x)
k x _ = x

hello :: (char -> io -> io) -> io -> (char -> char) -> char -> io
hello = s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k
    (s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k
    (s (k s))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k (s
    (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k s) (s (k (s (k s))) (s
    (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k s) (s (k (s
    (k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k
    s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k
    s))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k
    (s (k (s (k s))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s)))))
    (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k k))))))) (s (s (k
    s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k
    s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k (s (k (s (k (s (k (s
    (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
    (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
    (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
    (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
    (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
    (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
    (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
    s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
    (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
    (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k k))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k
    (s (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k
    (s (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k
    (s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
    s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
    (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
    (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
    s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
    (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
    (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
    s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
    (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
    (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
    s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
    (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
    (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k k) (s (k s) (s (k (s (k
    s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k
    s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k k))))))) (s
    (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (s
    (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
    (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
    (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k)
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
    (k s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))))))))))))))) (s (k (s (k
    k))) (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
    (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k
    s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))))))))))))) (s (k (s (k k)))
    (s (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k
    (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k
    k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
    (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s)
    (s (k k) (s k k))) (k (s k k)))))))))))))))))))))) (s (k k) (s (k (s (k (s
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
    (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k k)))))))))))))))))))
    (s (k (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k)
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k
    k))))))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s (s (k s)
    (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
    (k k) (s k k))))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k
    k))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (s (k s) (s (k k)
    (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))) (s
    (k (s (k k))) (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
    (k k) (s k k))))))))))) (s (k (s (k k))) (s (k (s (s (k s) (s (k k) (s (k s)
    (s (k k) (s (k s) (s (k k) (s k k))))))))) (s (k k) (s (k (s (s (k s) (s (k
    k) (s (k s) (s (k k) (s k k))))))) (s (k k) (s (k (s (s (k s) (s (k k) (s k
    k))))) (s (k k) (s (k (s (s k k))) (s (k k) (s k
    k))))))))))))))))))))))))))))))))))) (k (k (s (k (s (k (s (k (s (s k
    k))))))) (s (k (s (k (s (k k))))) (s (s (k s) (s (k k) (s (k s) (s (s (k s)
    (s (k k) (s k k))) (k (s k k)))))) (k (s (k k) (s k k)))))))))))))))))))) (k
    (s (k k) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s (k (s (k (s (s k
    k))))))))))) (s (k (s (k (s (k (s (k (s (k k))))))))) (s (s (k s) (s (k (s
    (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s)))
    (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))) (k (s (s (k s)
    (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k
    s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s) (s (k (s (k
    s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))) (k (k
    (s k k)))))))))))))))))))))) (k (k (k (s (k (s (k (s (k (s (k (s (k (s (s k
    k))))))))))) (s (k (s (k (s (k (s (k (s (k k))))))))) (s (s (k s) (s (k (s
    (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s)))
    (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))))) (s (k k)
    (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k
    k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s)
    (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
    k)))))) (k (k (s k k)))))))))))))))))))))) (k (s (k (s (k (s (k (s (k (s (k
    (s (k (s (k (s (s k k))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s
    (k k))))))))))))) (s (s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k
    k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
    (k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k
    k)))))))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
    s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
    (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))))) (k (s (s (k s)
    (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s
    (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k))))))))))
    (s (k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
    (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s
    (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k
    (s k k)))))) (k (k (s k k)))))))))))))))))))))))) (k (k (k (s (k (s (k (s (k
    (s (k k))))))) (s (k (s (k (s (k (s (k (s (s k k))))))))) (s (k (s (k (s (k
    (s (k k))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
    s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k
    k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k
    k))) (k (s k k)))))) (k (k (s k k))))))))))))))))))))) (k (k (k (k (k (k (s
    (k k) (s (k (s (s k k))) (s (k k) (s k k))))))))))))))))))))) (k (s (k (s (k
    (s (k (s (k k))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (s k
    k))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k k))))))))))))) (s
    (s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
    s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
    (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))))))) (k (s (s (k
    s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k
    (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k
    k))) (s (k k) (s k k)))))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k
    k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
    (s (k s) (s (k k) (s k k))) (k (s k k)))))))))) (s (k k) (s (s (k s) (s (k
    (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s
    (k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s) (s (k (s (k s))) (s
    (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))) (k (k (s k
    k)))))))))))))))))))))))))) (k (k (s (k (s (k k))) (s (k (s (k k))) (s (k (s
    (k (s (k (s (k (s (k (s (s k k))))))))))) (s (k (s (k (s (k (s (k (s (k
    k))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
    (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k)
    (s k k)))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s
    (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s
    (k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s
    k k))) (k (s k k)))))) (k (k (s k k)))))))))))))))))))))))) (k (k (k (s (k
    (s (k k))) (s (k (s (k k))) (s (k (s (k (s (k (s (k (s (s k k))))))))) (s (k
    (s (k (s (k (s (k k))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s
    (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
    k)))))))) (s (k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s)
    (s (k k) (s k k))) (k (s k k)))))) (k (k (s k k))))))))))))))))))))))) (k (s
    (k k) (s (k (s (k k))) (s (k (s (k k))) (s (k (s (k k))) (s (k (s (k (s (k
    k))))) (s (k (s (k (s (k (s (s k k))))))) (s (k (s (k (s (k k))))) (s (s (k
    s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k
    k)))))) (k (k (s k k)))))))))))))))))))))) (k (k (s (k (s (k k))) (s (k (s
    (k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s
    (k (s (k (s (s k k))))))) (s (k (s (k (s (k k))))) (s (s (k s) (s (k (s (k
    s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (k (s k
    k)))))))))))))))))) (k (k (s (k k) (s (s (k s) (s (k (s (s k k))) (s (k k)
    (s k k)))) (s (k k) (s k k))))))))))) (k (s (k (s (s (k s) (s (k k) (s (k s)
    (s (k (s (s k k))) (s (k k) (s k k)))))))) (s (k (s (k (s (k k))))) (s (s (k
    s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (s (k k) (s
    k k)))))))))))) (k (k (s (s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k
    k) (s k k)))))) (s (k (s (k k))) (s (s (k s) (s (k (s (s k k))) (s (k k) (s
    k k)))) (s (k k) (s k k)))))))))))) (k (s (k (s (s (k s) (s (k k) (s (k s)
    (s (k (s (s k k))) (s (k k) (s k k)))))))) (s (k (s (k (s (k k))))) (s (s (k
    s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (s (s (k s)
    (s (k (s (s k k))) (s (k k) (s k k)))) (s (k k) (s k k))))))))))))) (k (k (s
    (s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (s (k (s
    (k k))) (s (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))) (s (s (k s) (s (k
    (s (s k k))) (s (k k) (s k k)))) (s (k k) (s k k))))))))))))))))))) (s (k k)
    (s (k (s (k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k k)))))
    (s (k (s (k (s (k k))))) (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
    (k k) (s k k))))))) (k (s (s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s
    (k k) (s k k)))))) (k (s (k k) (s k k))))))))))))))) (k (k (k (k (s k
    k))))))))) (k (k (k (k (s (s (k s) (s (k k) (s k k))) (s (s (k s) (s (k k)
    (s k k))) (k (s k k)))))))))))) (k (k (k (k (s (s (k s) (s (k k) (s (k s) (s
    (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
    k)))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k
    k) (s k k))) (k (s k k)))))) (k (k (s k k)))))))))))))) (k (k (k (k (s (k (s
    (s k k))) (s (k k) (s k k)))))))