they’re all here: <https://github.com/typelevel/ca...

# arrow-contributors

[pakoito]

they’re all here: https://github.com/typelevel/cats-effect/blob/master/laws/shared/src/main/scala/cats/effect/laws/SyncLaws.scala

[Itua]

What are SyncLaws?

[pakoito]

the laws for the typeclass MonadSuspend

[pakoito]

I renamed it from Sync

[pakoito]

https://github.com/arrow-kt/arrow/issues/590

[pakoito]

I have some laws so far, we'll need the rest: https://github.com/arrow-kt/arrow/blob/master/arrow-test/src/main/kotlin/arrow/test/laws/MonadSuspendLaws.kt