// test well-kindedness checks
class Monad[m[x]]

object ms extends Monad[String]