Daniel Fischer <daniel.is.fischer@web.de> wrote:
On Wednesday 23 June 2010 19:01:21, Colin Paul Adams wrote:
> "Patrick" == Patrick LeBoutillier <patrick.leboutillier@gmail.com> writes: >>> So >>> >>> nightmare :: Offspring ?
If you make
Patrick> sex :: Partner -> IO [STD]
Patrick> then perhaps
Patrick> nightmare :: [STD]
Patrick> becomes more universal...
What's an STD?
Sexually transmitted disease
Anyway, don't perform IO unsafely. You might regret it. Sex is another form of -- well -- input and output. Here are the types: getWrongWife :: IO BadWife sex :: F___able a => a -> IO (MVar Offspring, Set Disease) Of course you don't get offspring, if you don't "take" it. Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://blog.ertes.de/