Welcome to BadPuns.com's own mini dictionary where we tell you what the words are for all those different types of joke you can find here. If the rest of the site is intended to make you laugh, this small corner of it aims to be useful and informative. Well, that's the idea, anyway.