On 10/8/2012 9:47 AM, Malte Skarupke wrote:
So why is this being rejected?

So S.init is a valid instance of S.

Reply via email to