Use new GHC.TypeLits API
Use latest th-lift