(%*-**) :: (c -> d -> e) -> (a -> b -> c) -> (a,b,d) -> e
(f %*-** g) (x,y,z) = f (g x y) z
(%*-**) :: (c -> d -> e) -> (a -> b -> c) -> (a,b,d) -> e
(f %*-** g) (x,y,z) = f (g x y) z
(%*-**) :: (c -> d -> e) -> (a -> b -> c) -> (a,b,d) -> e
(f %*-** g) (x,y,z) = f (g x y) z