Just a programmer-ish guy who loves Haskell and lives in Taipei.

I'm interested in things like type-level programming, functional language, programming language theory and formal program construction. Also have few experience in the dependent type programming, more specifically - agda; and lambda calculus and (e)DSL.