Left

laws

LowPiorityArbitraryInstances

discipline

laws

shapeless