It seems that types without parameters are not reduced in ghc unlike CAFs.

I.e. if we have

type T1 a b = ... 

type T2 = T1 Int Int

than T2 will be calculated on each utilization.

Is my statement correct? If so, why is it?

With complicated type-calculation compile time is growing too fast.

Best regards,

Dmitry