unified interface for effect monads and unified effect implementations