Add a decorator, retfun, to lift the return of a function to a Fun