Idea for a really short lambda notation