Type-Safe User Interfaces and the Manifest Pattern
andrewhathaway.net