@@ -365,3 +365,24 @@ toSrcType variable = do
365365 [ "Problem converting the following type "
366366 , "from a type-checker type to a source-syntax type:"
367367 , P.render (pretty Never variable) ]
368+
369+
370+data AppStructure = List Variable | Tuple [Variable] | Other
371+
372+collectApps :: Variable -> IO AppStructure
373+collectApps variable = go [] variable
374+ where
375+ go vars variable = do
376+ desc <- UF.descriptor variable
377+ 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