Use qualified name for Refl to avoid name clash with GHC-HEAD