“ A Tor proxy that runs in Haskell's type system ”