♾️ A library for universe levels and universe polymorphism - View it on GitHub