It's called abstracting. The problems fit the Monad interface. Details are in the implementations.