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

Compose composed with compose operator.
(f ... g) x y === f (g x y)