path: root/testsuite/tests/th/T22784.hs

{-# LANGUAGE TemplateHaskell #-}
module T22784 where

import Data.Kind

$([d| f :: (Bool :: Type)
      f = True |])