\(T: Type) ->
{
    first: T,
    second: T,
}