Nathan BeDell questions

• What is the proper way to use Nat/Natural in a singletons data type?
• Is writing helper functions for state passing style idiomatic in Haskell?
• Type level predicate based instances?
• Bitwise operations in APL?
• Can you do pattern matching on the type-level in Haskell?
• Stack overflow when folding infinite lists?
• Ensuring that two (G)ADTs have the same underlying representation in (GHC) Haskell
• Are haskell data types co-algebras by default?
• Is there an algorithm for "perfect" compression?
• Making numeric functions an instance of Num?

Nathan BeDell answers