どのモナドまでmapするのかみたいなのが明示出来るようになる方が良さそうな気がしている