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

Same thing as https://github.com/milessabin/shapeless/pull/235 for `ToSized`.