それで、何をどう抽象できて、何は抽象できないの？
モナドで抽象する前と後とで何が変わるの？