Nathan BeDell questions

• Is there such as thing as "type extensions" in Haskell?
• Is there a notion of "heterogenous collection of a given shape"?
• How does midicps work in overtone?
• 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

Nathan BeDell answers