Modal logic in Haskell through Static Pointers - View it on GitHub