Functional programmer, working in Crypto-world. Ex-researcher of type systems and functional programming. I live in Kyoto.