module Issue637 where