Static code analyzer that checks for exhaustive pattern matching, union case typos and redundant arguments in tagmeme - View it on GitHub