typecheckClause argMap dom res (Clause n e) = 
    Clause n <$> typecheckExpr argMap dom res e
typecheckClause argMap dom res (Clause n e) = 
    Clause n <$> typecheckExpr argMap dom res e
typecheckClause argMap dom res (Clause n e) = 
    Clause n <$> typecheckExpr argMap dom res e