https://scanlibs.com/typelevel-rite-passage/