laws

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