To learn more about Statebox see:
This is a language agnostic type system we developed based on constructions from category theory.