[Haskell-cafe] forcing a type constraint on data

Hi all, I would like to make a more restrictive version of a certain datatype. I tried wrapping it in a newtype, fundeps, type families, really got lost :) What I'm trying to achieve is the following: The original package http://hackage.haskell.org/packages/archive/reaction-logic/2010.11.17/doc/h

Re: [Haskell-cafe] forcing a type constraint on data

On Sun, Jan 2, 2011 at 01:37, Mathijs Kwik wrote: > The original package > http://hackage.haskell.org/packages/archive/reaction-logic/2010.11.17/doc/html/Data-Reactor.html > has a constructor function (mkReactor) with exactly the constraints > I'm after. However, the constraint is just on this con