On Wednesday 23 June 2010 18:08:18, Colin Paul Adams wrote: > >>>>> "Ertugrul" == Ertugrul Soeylemez <es at ertes.de> writes: > > Ertugrul> -- nightmare = unsafePerformIO (getWrongWife >>= sex) > > I can't work out the signature for nightmare (in your signature). > > :-) My guess: getWrongWife :: IO Partner sex :: Partner -> IO Offspring