fileTermType :: String -> Maybe (Term Symbol, Type Symbol)
fileTermType = Result.toMaybe . FP.parseAndSynthesizeAsFile "<test>"
fileTermType :: String -> Maybe (Term Symbol, Type Symbol)
fileTermType = Result.toMaybe . FP.parseAndSynthesizeAsFile "<test>"
fileTermType = Result.toMaybe . FP.parseAndSynthesizeAsFile "<test>"