file :: String -> Result (Note Symbol ()) (Term Symbol, Type Symbol)
file = FP.parseAndSynthesizeAsFile ""
file :: String -> Result (Note Symbol ()) (Term Symbol, Type Symbol)
file = FP.parseAndSynthesizeAsFile ""
file = FP.parseAndSynthesizeAsFile ""