j
k
j a
j l
......Data.Either.Combinators.fromLeft :: a -> Either a b -> a This is the thing we want.
...Data.Either.Combinators.fromLeft :: a -> Either a b -> a
Data.Either.Combinators.fromLeft :: a -> Either a b -> a
This is the thing we want.
Oh indeed, derp; still had the first suggestion in mind. (b -> (a -> b) -> Either ..) On this one i am neutral.
Back to the thread
Back to the list