Prog "Trace" ["Prelude"] [] [Func ("Trace","trace") 1 Public (FuncType (TVar 0) (TVar 0)) (Rule [1] (Var 1))] []