The type-level integers PR for the compiler was recently merged and it introduces automatic solving for the Reflectable class which is defined as the following.

module Data.Reflectable where

class Reflectable :: forall k. k -> Type -> Constraint
class Reflectable v t | v -> t where
  reflectType :: forall proxy. proxy v -> t

I'll open a PR once ES modules land in this repository.