koher 1/25/2018 9:16 AM

なんか数学的な関係がありそうだけど、 sum type は排他的なのが気になる

9:17 AM

また @Taketo Sano さんの意見が聞きたいけど、最近ここにいなさそう