Idk, if you just denote your statespace with the types and then have all your code essentially perform case analysis then it's quite simple... There are some t

Idk, if you just denote your statespace with the types and then have all your code essentially perform case analysis then it's quite simple... There are some tricks that you need to express more complicated computation but they get more attention than use. Also there is the whole type theory rabbit hole that you'll fall down a few times until you understand where you want to be. The trick is to accept that the model is a simplification and rather than being as precise as possible find out where you can get away with simplifications.