f96b6beefc ^
1 2 3 4
// test well-kindedness checks class Monad[m[x]] object ms extends Monad[String]