モナド3則って圏論的にはどうやって出てくるの?