Map_ext.not_found type in functors' returned signature.