has_a_func :: Bool -> (a -> b) -> Bool
has_a_func x y = _