ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T11484.hs
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module T11484 where
import Data.Kind
type TySyn (k :: *) (a :: k) = ()
$([d| type TySyn2 (k :: *) (a :: k) = () |])
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module T11484 where
import Data.Kind
type TySyn (k :: *) (a :: k) = ()
$([d| type TySyn2 (k :: *) (a :: k) = () |])