object Test {
  implicitly[M[B]]
}