David Young questions

David Young answers

• Is there a way to use constructors of one type as types too?
• Convert from type `T a` to `T b` without boilerplate
• What is this data ... where trying to accomplish? (Haskell)
• non-monadic error handling in Haskell?
• 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