Top Questions

1. "Generalized arrows" and proc notation?
   12 votes

   1 answers
2. Ensuring that two (G)ADTs have the same underlying representation in (GHC) Haskell
   8 votes

   1 answers
3. Stack overflow when folding infinite lists?
   7 votes

   2 answers
4. Modeling monoidal coherence in Haskell
   6 votes

   0 answers
5. What is the proper way to use Nat/Natural in a singletons data type?
   4 votes

   1 answers