luminance-0.3.1.1: Type-safe, dependently-typed and stateless graphics framework