Haskell Weekly Podcast → Episode 14 → Refinement Types


#1