1{-# LANGUAGE TypeInType #-} 2module Typeintype (App) where 3import Data.Kind 4 5data App (f :: k -> *) 6