Render "a -> a"