New issue from Akim Demaille about tuple's c'tor constraints