Not sure what is up with codecov but I have a lot ...

# arrow-contributors

[raulraja]

Not sure what is up with codecov but I have a lot of red marks in places that I know they are tested because they are the methods instances used for the laws. For example:
https://codecov.io/gh/arrow-kt/arrow/pull/1040/src/modules/core/arrow-data/src/main/kotlin/arrow/data/WriterT.kt#L19

[themishkun]

maybe laws-functions were not added to laws-list? It happened to me in the past