Someone also brought relative monads to my attention elsewhere: Applicative-wired monad pattern - #20 by emekoi