TcMatches
tcMatchesFun
tcGRHS
tcGRHSsPat
tcMatchesCase
tcMatchLambda
data TcMatchCtxt body
type TcStmtChecker body
type TcExprStmtChecker
type TcCmdStmtChecker
tcStmts
tcStmtsAndThen
tcDoStmts
tcBody
tcDoStmt
tcGuardStmt