1wat :: a -> b
2wat a = _w0 a
3