[Haskell-cafe] Free lunch with GADTs

[Mark Flamer]

Tristan, Please let me know how this works out for you. I was struggling with
something similar over the last few days. It's expressed in these 2 S.O.
questions. In my case I'm going to probably just move on and stick with a
standard ADT for now. It was interesting to explore the possibilities
though.  

http://stackoverflow.com/questions/14949021/return-type-as-a-result-of-term-or-value-calculation

http://stackoverflow.com/questions/14918867/trouble-with-datakinds



--
View this message in context: http://haskell.1045720.n5.nabble.com/Free-lunch-with-GADTs-tp5725865p5726160.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.