welltyped Collection of Dependently-typed stuff ⚠️WARNING: This library is not for production, I've used sort of unstable tricks. ⚠️WARNING: This library in currently on construction, it will take some time to be ready. Documentation is WIP