Gen monad internals

Todo

• On how Gen monad internals.

• Generalised generation with random seed.

• Specialised cases for pure and empty.

• Fusion during map, <*> and >>=.