Updated Examples to export run for use in GHCi