[Haskell-cafe] explicit big lambdas

[Bas van Dijk]

On Fri, Mar 19, 2010 at 4:03 AM, Nicolas Frisby
<nicolas.frisby at gmail.com> wrote:
> Alternatively:
>
> let f :: <some type involving a>
>    f = ...
>
>    f' :: a -> <some type involving a>
>    f' _ = f
> in f' (undefined :: Int) <normal f arguments>

Or use Edward Kmett's tagged library:

http://hackage.haskell.org/packages/archive/tagged/0.0/doc/html/Data-Tagged.html

so you don't have to use bottom values:

let f :: <some type involving a>
    f = ...

    f' :: Tagged a <some type involving a>
    f' = Tagged f

regards,

Bas