Yes, as far as I can tell, C would be limited to Z and S. Nice trick! -- Lennart On Mar 4, 2007, at 00:03 , Roberto Zunino wrote:
What is the effect of declaring a class in a module and not exporting it? Would that prevent to add more instances to that class other than those already defined in the module?
More in detail, consider this module: === module Peano (Z,S,C) where
data Z data S a
-- Not exported class Peano b where instance Peano Z where instance Peano a => Peano (S a) where
-- Exported class Peano a => C a where ===
Would that limit the instances of the class C to the Peano type naturals?
Thanks, Roberto Zunino. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe