<div dir="ltr">Hello!<div><br></div><div>It seems that types without parameters are not reduced in ghc unlike CAFs.</div><div><br></div><div>I.e. if we have</div><div><br></div><div>type T1 a b = ... </div><div>type T2 = T1 Int Int</div><div><br></div><div>than T2 will be calculated on each utilization.</div><div><br></div><div>Is my statement correct? If so, why is it?</div><div>With complicated type-calculation compile time is growing too fast.</div><div><br></div><div>Best regards,</div><div>Dmitry<br><div><br><div><br></div><div><br></div></div></div></div>