Generalizing MapLike to MonadicLike