Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness