{-# LANGUAGE TypeInType #-} module Typeintype ( App ) where import Data.Kind data App (f :: k -> *)