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 (a, b, c, d) = (a, b, (c, d))
5