何を以てモナドを理解したことになるのか