A sample Giraffe application for a typical TODO service that uses a SQL database as a back-end and tries to implement somewhat serious domain modelling rules (results, validation, error handling etc.) as well as separation between HTTP and internal domain