ghc-exactprint-0.5.7.0: tests/examples/ghc86/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) = () |])