tuple constructor typing in