Using pa_4's type declaration, provide a working type definition that returns without error.

PLEASE CODE IN HASKELL!

example of another function with a different type declaration and a valid type definition:

pa_4 :: ((a -> b) -> C -> d) -> b -> C -> d undefined pa_4 pa_1 :: (a -> b -> c) -> (d a) -> (e -> b) -> d -> e-> C pa_1 x y z v1 v2 = x (y v1) (z v2)