synthExpr _ _ _ e =
  throw NeedTypeSignature{ errLoc = getSpan e, errExpr = e }
synthExpr _ _ _ e =
  throw NeedTypeSignature{ errLoc = getSpan e, errExpr = e }
synthExpr _ _ _ e =
  throw NeedTypeSignature{ errLoc = getSpan e, errExpr = e }