Re: Partial Type Declarations

[Wolfram Kahl]

Jeffrey R. Lewis" <[EMAIL PROTECTED]> writes:
 > 
 >     foo :<= C a => a -> b      roughly equiv to     foo :: C _a => _a -> _b
 > 
 > I can easily imagine that you might want some variables to be a bound, and
 > others to be exact, as in
 > 
 >     foo :: C a => a -> _b
 > 
 > I don't think the above can be expressed with Claus' proposal.
 > 

You could, by being more explicit than usual:

> foo :<= forall b => C a => a -> b


Wolfram