wat :: a -> b
wat a = _w0 a