Monoid
cats
mapSuspendsEvaluation
SyncLaws