>>782
あれはまあ、確かに理論の実践でもあり、型安全なので便利だというのもあります。

# polymorphic variant はなんかの双対だったよね？　忘れちゃった。教えてエロい人