I missed full support for Design by Contract in Elixir and decided to create a library. The source can be found here https://github.com/JDUnity/ex_contract and hex package is also available https://hex.pm/packages/ex_contract. It seems there has been a lot of interest in property based tasting in Elixir community but not so much in Design by Contract. What is your opinion on the DbC and its usefulness in FP context? Since I am still learning Elixir, I welcome any comments on the implementation of the library and the ways to improve it.