Are there any plans to support higher order ranked types in julia?

Perhaps you this is useful reading: Proposal for a first-class dispatch wrapper