ashley at semantic.org
Mon Jul 27 13:32:55 EDT 2009
On Mon, 2009-07-27 at 16:32 +0100, Jules Bean wrote:
> The whole point of SYB is not to break abstraction.
> A Data instance for Data.Fixed which exposes the Integer inside would
> render it useless for the kind of things I expect people do with SYB.
Um, well I'm just doing the same thing as Complex and Ratio. They also
expose their constructors explicitly and both their Data instances
expose their constituent parts. And a Fixed really does contain an
Integer, just as Rational contains two.
More information about the Libraries