-- Fun things with forall http://hoogle.jeeves.myrtle/file/nix/store/3pyqd7gjlxwj7wfrcsr0w1rjvc0qyl8r-clash-extra-0.1.0.0-doc/share/doc/clash-extra-0.1.0.0/html/Data-SNat.html#v:reifySNat -- https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Monad-ST.html#v:runST
