As an aside, to me this seems like a much more cumbersome way to write
function example(::MyType)
[...]
end
Type constraints don’t have to be explicitly told that they’re a type. This is equivalent since the MyType in your example is a struct and can’t be subtyped anyway. In julia, only abstract type types can be subtyped.