8 Jun
2007
8 Jun
'07
8:01 p.m.
On 6/8/07, Alfonso Acosta <alfonso.acosta@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)