- Why doesn't the Monad class use Constraints? https://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/ 24 comments haskell
- Constrained monads https://jeltsch.wordpress.com/2015/09/03/constrained-monads/ 6 comments haskell
- A brief introduction to ConstraintKinds extension (Wolfgang Jeltsch) http://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/ 4 comments haskell
- Hofstadter's MU puzzle in Haskell https://jeltsch.wordpress.com/2013/04/18/miu-in-haskell/ 6 comments haskell
- Dependently typed programming and theorem proving with GHC type-level features http://jeltsch.wordpress.com/2012/04/30/dependently-typed-programming-and-theorem-proving-in-haskell/ 15 comments haskell