test :: ((), (b, c), d) test = (_w0, _w1, _w2)