Fixing type compatibility for backward edges