class Test a where
  test :: Bool -> a
  test False = _w0
  test True = _w1