A sample application which shows you how to make Sinatra-ish web applications type-safe - View it on GitHub