1-- There used to be a bug where we were unable to perform a nested split. The 2-- more serious regression test of this is 'AutoTupleSpec'. 3bigTuple :: (a, b, c, d) -> (a, b, (c, d)) 4bigTuple = _ 5