[Haskell-cafe] Hoogle? [Stacking monads]
andrewcoppin at btinternet.com
Thu Oct 9 14:52:46 EDT 2008
Ryan Ingram wrote:
> There's also a haskell98 way to do the same thing, it's just a bit
> more wordy at the ghci prompt, and a bit more work to decode the
> ghci> :t \z -> (foo (undefined :: Bar x) z :: Bar y)
> Now, the type of this expression is clearly
> type of z -> Bar y
> So just read the value before the arrow to get your answer.
Ah, ingenious! Why did I not think of that...?
More information about the Haskell-Cafe