chi questions

chi answers

• 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?
• Defining fmap with id and return
• What is the difference between :~: and :~~: equalities?
• Writing Category Instance for custom Lens
• why it was infinite type ? (Occurs check: cannot construct the infinite type: a ~ Tree a)
• Deriving a base monad using a monad transformer and the identity monad