Watch how to use opaque types in some more advanced situations (like hiding Monad Transformers in a DSL) 🤸 #scala

https://www.youtube.com/watch?v=4PJFdNZ1Bro