dependently typed Statebox (heavy WIP) - View it on GitHub