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
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