Commutative

trait Commutative[L[_]]
class Object
trait Matchable
class Any