mangoiv, 1 month ago Out: (A -> D) -> B -> C -> D In: (A -> (D, B, C) ) -> D #haskell
Out: (A -> D) -> B -> C -> D
In: (A -> (D, B, C) ) -> D
#haskell
mangoiv, 1 month ago I just realised in my real life example it is worse because d is an unconstrained type variable #haskell
I just realised in my real life example it is worse because d is an unconstrained type variable #haskell
BoydStephenSmithJr, 1 month ago @mangoiv Higher ranked types, FTW?
@mangoiv Higher ranked types, FTW?
Add comment