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