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