Re: [Haskell-cafe] returning a polymorphic function

Thanks, I'd never have guessed. I have a GADT Get a where I define a protocol to query a database where 'a' is the return type a. Then prepare :: IO (Get a -> ErrorAndWriterMonad a) is opening the database and return the query function. I suspect I have to insert the constraint in the wrapper to let transform 'a' to JSON or String, which I don't like. I'll have to dig it. Regards paolino 2015-06-15 16:18 GMT+02:00 Patrick Chilton :

Yes, but you have to wrap it up:

{-# LANGUAGE RankNTypes #-}

-- obviously not to useful for this example :) newtype Id = Id (forall a. a -> a)

f :: IO Id f = return (Id id)

main = do Id g <- f print $ g 1 print $ g "ciao"

Can I ask what you're trying to do with this?

Patrick

On Mon, Jun 15, 2015 at 3:11 PM, Paolino wrote:

...

Hello list, I'm trying to accomplish something along this line

{-# LANGUAGE ScopedTypeVariables #-}

f :: IO (a -> a) f = return id

main = do (g :: a -> a) <- f print $ g 1 print $ g "ciao"

Is it possible or I have to call f more than once to get different g's

Thanks

paolino

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe