More Typing, Less Testing: TDD with Types, Part 1
spin.atomicobject.com