polytypic/sml-optics not found