I am being loose, since the terms ["nominative" and "structural"](https://wiki.c2.com/?NominativeAndStructuralTyping) apply to type systems, but `Rational{Int}` seems like a nominal type and [`Fix{typeof(/),Tuple{Some{Int},Some{Int}}}`](https://github.com/goretkin/FixArgs.jl/blob/86dde6ef687d2ef97fcfaec4b73690dd759ce7bf/test/runtests.jl#L99-L123) feels like a more structural name.
I am being loose, since the terms "nominative" and "structural" apply to type systems, but
Rational{Int}seems like a nominal type andFix{typeof(/),Tuple{Some{Int},Some{Int}}}feels like a more structural name.