A person who is fond of making puns, especially one who makes a tedious habit of it.