On 6/8/07, Alfonso Acosta <alfonso.acosta at gmail.com> wrote: > Yep, you're right. a is alredy universally quantified in the RHS. This > is probably what you're looking for: > > type FSet a = forall a. Show a => FSet (a -> Double) I meant type FSet a = forall a. Show a => (a -> Double)