TcMatches

tcMatchesFun

tcGRHS

tcGRHSsPat

tcMatchesCase

tcMatchLambda

data TcMatchCtxt body

type TcStmtChecker body rho_type

type TcExprStmtChecker

type TcCmdStmtChecker

tcStmts

tcStmtsAndThen

tcDoStmts

tcBody

tcDoStmt

tcGuardStmt