module TuplePat where

next
    ( steps  -- c1
    , ys     -- c2
    ) x      -- c3
    = (steps, x, ys)