Re: [Haskell-cafe] pattern matching on data families constructors

25 Apr 2013


      At Thu, 25 Apr 2013 19:08:17 +0100,
Francesco Mazzoli wrote:
...
... ‘DInt :: DInt -> D Int’ and ‘DBool :: DBool -> D Bool’ ...
This should read ‘DInt :: Int -> D Int’ and ‘DBool :: Bool -> D Bool’.

Francesco