Re: type classes and generality