missing encoding of polymorphism

On the following, a call to a prover requiring polymorphism to be encoded fails:

goal G0: (fun x -> x) 0 = 0

For instance:

> why3 prove -P cvc4 test.mlw
 This type isn't supported:
   'a -> 'a
 smtv2: you must encode type polymorphism