> data T a b = T a b

> type T2 a b c = T a (b, c)

how would this work if T were a record? say:

data T a b = T {

a::a,

b::b,

agnostic::Int

}

could we make a T' (no param) out of it?

​