Skip to content
Create a gist now

Instantly share code, notes, and snippets.

module ArrowOperatorQuestion where
import Control.Arrow ((***))
f :: u -> v -> w
f _ _ = error "f"
g :: x -> y -> z
g _ _ = error "g"
h :: (u,x) -> (v,y) -> (w,z)
h = uncurry (***) . (f *** g)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.