Type-safe, type-level and stateless Haskell graphics framework - View it on GitHub