-- Find an equation which has the arrow term constructor in both sides
findArrowEquation :: Equations -> Maybe Equation
findArrowEquation = filterElement arrow
    where arrow (TEArrow _ _, TEArrow _ _) = True
          arrow _ = False

-- STEP 1: Type Reduction
findArrowEquation :: Equations -> Maybe Equation
findArrowEquation = filterElement arrow
    where arrow (TEArrow _ _, TEArrow _ _) = True
          arrow _ = False

-- STEP 1: Type Reduction
findArrowEquation = filterElement arrow
    where arrow (TEArrow _ _, TEArrow _ _) = True
          arrow _ = False

-- STEP 1: Type Reduction