@@ -375,14 +375,12 @@ collectApps variable = go [] variable
375375 go vars variable = do
376376 desc <- UF.descriptor variable
377377 case (structure desc, vars) of
378− (Nothing, [v]) -> case name desc of
379− Just "_List" -> return (List v)
380− _ -> return Other
381− (Nothing, vs) -> case name desc of
382− Just ctor | isTuple ctor -> return (Tuple vs)
383− _ -> return Other
384−
385− (Just term, vs) ->
386− case term of
387− App1 a b -> go (vars ++ [b]) a
388− _ -> return Other
378+ (Nothing, [v] ) -> case name desc of
379+ Just "_List" -> return (List v)
380+ _ -> return Other
381+ (Nothing, vs ) -> case name desc of
382+ Just ctor | isTuple ctor -> return (Tuple vs)
383+ _ -> return Other
384+ (Just term, vs) -> case term of
385+ App1 a b -> go (vars ++ [b]) a
386+ _ -> return Other