Re: Implicit parameter constraints not inferred