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