[julia-users] Re: A Case For Other Dependent Types?

[Mike Innes]

I think there's definitely a case for allowing any immutable type as 
parameters, at least. I would open an issue on github if there isn't one 
already, that way you can start a discussion.