<div dir="ltr"><span class="im" style="font-size:14px"><p>ok this may be it:</p><p>data T a = T {</p></span><p style="font-size:14px">a::a,</p><p style="font-size:14px">common::Int<br></p><p style="font-size:14px">}</p>​<div>type T' a b = T (a,b)</div><div><br></div><div># of record fields stays the same however we cram more data into the 'a' field.</div><div><br></div><div>it surely works. Thank you.</div></div>