type-driven-with-idris https://www.amazon.com/Type-driven-Development-Idris-Edwin-Brady/dp/1617293024