haskell-src-exts-1.24.0: tests/examples/t412.hs

{-# LANGUAGE TypeInType #-}

module Typeintype
       ( App ) where

import Data.Kind

data App (f :: k -> *)