Usage of `Map.const` triggers polymorphism
The SMT-LIB driver allows one to use higher-order and map.Map
, both of them being mapped to SMT-LIB expressions without polymorphism.
It would be better to also map the map.Const.const
to something not requiring the encoding of polymorphism. Note that writing (fun _ -> c)
instead of const c
does not trigger encoding, so it must be doable.