Matthias Fischmann works for Well-Typed.