blah :: Int -> Bool -> (a -> b) -> String -> Int
blah = _