ToTraversable[HNil, M[_], T] with T not Nothing