HoleEdit: hlint