class Monad[m[x]]

object ml extends Monad[List]