Hi,<div><br></div><div>I could use an assist on getting the following to type check.</div><div><br></div><div><div>#lang typed/racket/base</div><div><br></div><div>(struct: (All T0 T1) Cvt ([cvt : (T0 -&gt; T1)]))</div><div>
<br></div><div>(: cvt-apply (All (T0 T1) T0 (Cvt T0 T1) -&gt; T1))</div><div>(define (cvt-apply value cvt)</div><div>  ((Cvt-cvt cvt) value))</div><div><br></div><div>(: ItoS-Convert (Cvt Integer String))</div><div>(define ItoS-Convert</div>
<div>  (Cvt (ë: ((x : Integer)) &quot;Hello&quot;)))</div><div><br></div><div>(: ItoS (Integer -&gt; String))</div><div>(define (ItoS int)</div><div>  (cvt-apply int ItoS-Convert))</div></div>