Re: [Haskell-beginners] type T' = T a b c

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? ​