has_a_func :: Bool -> (a -> b) -> Bool
has_a_func False y = _w0
has_a_func True y = _w1