right! statebox tries really hard to strike a balance between these two. in order to make diagrams _as_ composable as functional code, you need proper theory o

right! statebox tries really hard to strike a balance between these two. in order to make diagrams _as_ composable as functional code, you need proper theory of diagrams and a "compiler" that checks your diagrams for "type errors"