David Young questions

David Young answers

• Pattern match on type of polymorphic parameter - alternatives
• Why doesn't subtyping via existentials and constraints work?
• How to state that a type variable in a newtype statement is of a type that belongs to some type class?
• Moving StateT into and out of IO
• Bind operator (=<<) with two parameters [duplicate]
• How to list dependecies cabal calculates
• Why did my mistake annotating this type signature not break things?
• map with lambda vs map with function - how to pass more than one variable to function?
• Are there any interesting commutative monads in Haskell?
• Pattern matching with [x,_] syntax vs (x:_) for infinite lists in haskell