Add in a demo of a way to describe fns that accept no args from within the universe.