M medium.com A Pure Types-Driven real-world apps development approach 49 points jhoxray 5 years ago 38 comments