モナド則によってある程度意味を与えられていると思うが。

それも含めて形式的な枠組みに過ぎないという事なのか