Maciej Próchniak and Type Driven Development