A non-opaque, semantically expressive upgrade to the boring first class function.