1 2 3 4 5
{-# LANGUAGE TemplateHaskell, DataKinds #-} import Language.Haskell.TH type T = $(return $ LitT $ NumTyLit (-1))