Use `singletons` library.
Instead of depending on intternal `GHC.TypeLits` module from base.