GADTs in the wild

[Edward Kmett]

On Tue, Aug 14, 2012 at 10:32 AM, Edward Kmett <ekmett at gmail.com> wrote:

> data NonDetFork :: (*,*) -> * -> * where
>   NDL :: (a -> c) -> NonDetFork '(a, b) c
>   NDR :: (b -> c) -> NonDetFork '(a, b) c
>   NDB :: (a -> b) -> (b -> c) -> NonDetFork '(a, b) c
>
er..
  NDB :: (a -> *c*) -> (b -> c) -> NonDetFork '(a, b) c
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120814/1fc86f05/attachment.htm>