По вашему запросу haskell f -> a -> b -> f a ничего не найдено.