Have `known_make_absorbingly` and `make_absorbingly_default` instances in the same file
The following discussion from !842 (closed) should be addressed:
This makes me think, it's a bit annoying that the default instance and
known_make_absorbingly
are not at the same place. Could we somehow refactor that? Move the default instances toclasses_make
, or move the other one here?