Type-Safe User Interfaces and the Manifest Pattern | Not Hacker News!