Dependent Type in Haskell

[freizl]

• https://serokell.io/blog/how-dependent-haskell-can-improve-industry-projects
• https://serokell.io/blog/why-dependent-haskell