{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
module THTypes where
import Language.Haskell.TH

x :: DecsQ
x = [d|
      
      instance Show $( conT (mkName "Int") )
      |]
unit x = [t| $x |]