chi questions

chi answers

• How to represent sugared λ-terms in Haskell?
• Haskell cata types
• Understanding Why MVar Isn't Updating?
• Parallelize computation of mutable vector in ST
• Haskell fmap composition misunderstanding
• General approach for combining multiple foldrs over the accumulator type?
• Why does the type signature look like this? (Converting Church number to Int)
• Inconsistency in GHCi between representations of values of type String and [Char]
• Generating tuples using list comprehension
• How does mzero match guard type signature?