On Fri, Mar 19, 2010 at 4:03 AM, Nicolas Frisby <nicolas.fri...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
