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