On Tue, Aug 14, 2012 at 10:32 AM, Edward Kmett <ekm...@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
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
