Domain Modeling Made Functional
Scott Wlaschin
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
The Legend Of Koizumi 03
Unknown
Beck v25[MCS]
Categories for the Working Mathematician
Saunders Mac Lane