Haskell

state-monad.hs: Demo of state monad using postfix expression evaluator
/famubu/playground/src/branch/master/haskell/types.hs: Trying out some ghc extensions (with dependent types)