laws

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