test :: a
test =
  let t :: Bool -> a
      t False = _w0
      t True = _w1
   in _