path: root/tests/untried/neg/wellkinded_wrongarity.scala

// test well-kindedness checks -- arity error

class Monad[m[x]]

object mp extends Monad[Tuple2]