<div dir="ltr"><p dir="ltr" style="font-size:14px">> data T a b = T a b</p><p dir="ltr" style="font-size:14px">> type T2 a b c = T a (b, c)</p><p dir="ltr" style="font-size:14px"><br></p><p style="font-size:14px">how would this work if T were a record? say:</p><p style="font-size:14px">data T a b = T {</p><p style="font-size:14px">a::a,</p><p style="font-size:14px">b::b,</p><p style="font-size:14px">agnostic::Int</p><p style="font-size:14px">}</p><p style="font-size:14px">could we make a T' (no param) out of it?</p><p style="font-size:14px"><br></p>​</div>