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