1 2 3 4 5 6 7
{-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TemplateHaskell #-} module T11342b where type X = $( [t| 'x' :: Char |] )