Forcing type declaration in Julia

Curious - I seem to remember there being a problem with some of them :thinking:

Ah, I think it was this thread:

Specifically, this:

Though that’s orthogonal to limiting types per se, so I must have mixed the two up.