Why don't you use dependent types? Original Article Hacker News Discussion Error generating summary. Status code: 402