tim philip williams

  generics

Fixing GADTs

An exploration of type-safe traversals in Haskell using GADTs.

under construction