laws

fun <F> laws(M: <ERROR CLASS><F>, GEN: <ERROR CLASS><F>, eq: (F, F) -> Boolean = { a, b -> a == b }): List<Law>