Show HN: Typed-Prompts – Type-Safe Prompt Engineering