Examples for Warsaw Java User Group presentation on Type Driven Development