t412.hs.prettyprinter.golden

{-# LANGUAGE TypeInType #-}
module Typeintype (App) where
import Data.Kind

data App (f :: k -> *)