Re: GADTs in the wild

14 Aug 2012


      On Tue, Aug 14, 2012 at 10:32 AM, Edward Kmett  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