blah :: Int -> Bool -> (a -> b) -> String -> Int
blah n b fab s = _w0