Top Answers

1. Are codatatypes really terminal algebras?
   15 votes
2. Is it possible to have recursive sum type, with each 'level' having distinct value?
   10 votes
3. For dense access, is it better or worse to freeze an array first?
   9 votes
4. Just how "unsafe" are Data.Vector's unsafeFreeze/unsafeThaw?
   8 votes
5. What does putting a constraint in an argument's type instead of function's type do?
   7 votes