How does mojo handle function polymorphism and abstraction? Julia uses multiple dispatch, Haskell type classes etc Edit: I see you're going to have protocols/

How does mojo handle function polymorphism and abstraction? Julia uses multiple dispatch, Haskell type classes etc Edit: I see you're going to have protocols/ traits. Can those be specializes/monomoprhized at function call time like Julia abstract types? And how about function specialization? Will functions be attached to structs in a single dispatch fashion or free floating multimethods?