gspindles questions

• Haskell - polymorphism and values depending on types
• Where is the Constraint kind defined?
• Haskell: Heterogeneous list for data with phantom variable

gspindles answers