Refined Tutorials

• Order Totals models an order with the built-in refined types, then shows each invariant removing a branch from the code that calculates over it.
• Customer Id defines a refined type of your own, decides whether the concept earns a type at all, and gives it a schema.