They must complain about generics and members' declarations with or without implementation. example: ```scala class MonadImpl(u: ?U) extends Monad[U]: map(f: U => ?V) = MonadImpl(f(u)) flatMap(f: U => Monad[?V]) = f(u) ```