open-typerep (hackage): Open type representations and dynamic types
Keywords: bsd3|dependent-types|library