Updated haddocks, export mainWith.