Vassiliy Kuzenkov

It will be nice to have typed `transition` call depends on possible variants from `event` -> `transition arguments map`. Sometimes it's possible to infer them from `t` function arguments

It will be nice to have special package to test state machines. - checking for the reachability of one state to another - checking for the presence of a list...