Link to "Type-checking Polymorphic Units for Astrophysics Research in Haskell".
Link to "Promoting Functions to Type Families in Haskell".
Link to "LiquidHaskell: Refinement Types in the Real World".
Link to "Effect Handlers in Scope".
Link to "Experience Report: The Next 1100 Haskell Programmers"
Link to "A seamless, client-centric programming model for type safe web applications"