test :: ((), (b, c), d) test = _