Hask.Rel
started adding a canonical choice of 'embeddings' so we can talk about
relative monads, etc in this framework.