Add Monadic type for Backend