https://ones.com/blog/comparison/mastering-dependency-types-tips-utilization-evaluation/