Proof of concept for a cats-like library built using Dotty features - View it on GitHub