そういえば @koher さんが前に、enumがnominalなのは嫌だって言ってたんですが、untagged unionが欲しいという話だったんだなあと合点がいきました https://twitter.com/koher/status/888960280490721280 (edited)

@takasek non-nominal的なものがほしいのを、nominalな汎用な型で代替してる点ですね。 #swtws