Working on the arbitrary IO.
Some nasty monad action for my QuickCheck testgenerators.
Fixed last commit.