On 2017-06-04T13:52:55 +0000 Mark Raynsford <org.openjdk at io7m.com> wrote: > > Would yield: > > f A ⇒ 0 > f B ⇒ 1 > f C ⇒ 2 ^^^^^^^^ Copy and paste error here. Should obviously be f C ⇒ 1. M