Alexander Gerasimov | "No Foul Play" Describing State with Dependently Typed FSMs | RSCONF 2019