Analogous to the ‘-er’ stuff in Haskell would be record-of-functions which can be useful if for some reason you don’t want to use newtypes to patch typeclass instance behavior.