Skip to content

Instantly share code, notes, and snippets.

@jonschoning

jonschoning/nested-tuple-types.hs

Created February 4, 2014 22:45
Show Gist options
  • Save jonschoning/8813950 to your computer and use it in GitHub Desktop.
Save jonschoning/8813950 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
nested-tuple-types.hs
let f x = (x,x); f1 x = f (f x); f2 x = f1 (f1 x); f3 x = f2 (f2 x) in f3
:: t
-> ((((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))))),
((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))))),
(((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))))),
((((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))),
(((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t)))),
((((t, t), (t, t)), ((t, t), (t, t))),
(((t, t), (t, t)), ((t, t), (t, t))))))))
>>>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment