path: root/tests/untried/pos/tcpoly_poly.scala

class Monad[m[x]]

object ml extends Monad[List]