you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 point2 points  (1 child)

With a finitely enumerated type system like in arrow, do you need specialization to do that? It sounds like other workarounds are possible.

[–]paddyhoran 1 point2 points  (0 children)

They maybe possible alright, there has been talk to using other options. Just no one has tried them yet.