Principled user interface person, professional Haskell engineer, verification/usability driven developer, and proponent of the directed acyclic graph.