Run time error, rule 'find_instance;201' in module 'overloading' does not match

The itasks compiler crashes for this program:

Start = f ()

class C a :: a

f :: !a -> () | C a
f _ = ()