Is it possible to do this? I looked through the source for GHC.TypeLits on hackage but found no leads.

Thanks for any help,