These two type classes are overly general, representing a -> b and the even weaker a -> Maybe b operations, respectively. Parse is already unused and Convert has a number of unused instances and the ones that are used are simple enough to inline.
Eliminating these classes makes the code clearer without removing any generality.
Overview
These two type classes are overly general, representing
a -> band the even weakera -> Maybe boperations, respectively.Parseis already unused andConverthas a number of unused instances and the ones that are used are simple enough to inline.Eliminating these classes makes the code clearer without removing any generality.
This was suggested in https://github.com/unisonweb/unison/pull/5005#issuecomment-2129791691