typeparams (hackage): Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
Keywords: bsd3|configuration|data|dependent-types|library|optimization