Fix consequence types