New posts in dependent-method-type

What are some compelling use cases for dependent method types?

scala haskell programming-languages type-systems dependent-method-type