3 ms·
It means there are two functions going between them that witness the isomorphism. The witnesses in Haskell are the higher-order functions (they transform funct
by Iceland_jack 7y ago
It means there are two functions going between them that witness the isomorphism.
The witnesses in Haskell are the higher-order functions (they transform functions) `{,un}curry`:
curry :: ((a, b) -> c) -> (a -> b -> c)
uncurry :: (a -> b -> c) -> ((a, b) -> c)