Re: [Haskell-cafe] Free lunch with GADTs

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-... http://stackoverflow.com/questions/14918867/trouble-with-datakinds -- View this message in context: http://haskell.1045720.n5.nabble.com/Free-lunch-with-GADTs-tp5725865p5726160... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.