j
k
j a
j l
On 6/8/07, Alfonso Acosta 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)
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)
Back to the thread
Back to the list