:: (c -> d) -> (a -> b -> c) -> a -> b -> d -is:exact -package:opaleye package:one-liner