Add ssreflect bound on deriving 0.2.0 package.#3225