9ef5f6817 ^
1 2 3 4 5
// test well-kindedness checks -- arity error class Monad[m[x]] object mp extends Monad[Tuple2]