conkin
conkin copied to clipboard
Tools for functors from Hask^k to Hask
Results
1
conkin issues
Sort by
recently updated
recently updated
newest added
There's yet another kind of uncurry: ```haskell newtype SimpleUncurry (a :: i -> j -> Type) (x :: (i, j)) = SimpleUncurry { getSimpleUncurry :: a (Fst x) (Snd x)...