Type.Analyse

type family Ana t where ...

data App f a

data Typ a