getVariantType _                      = throwError $ CallGraphError "Matched expression does not have a variant type"
getVariantType _                      = throwError $ CallGraphError "Matched expression does not have a variant type"
getVariantType _                      = throwError $ CallGraphError "Matched expression does not have a variant type"