圏論はモナドへの近道