title: Is there a way to check whether a type is iterable within Julia's type system?
body: <p>Collections in Julia need to support three functions to be iterable: start, next, and done.</p>
  
  <p>Is there currently a way to express that an input x to a function needs to be iterable within the type system? If not, is this on the roadmap?</p>