TypedId.fsx

module Order =
    type T = Order of int

    let get (db: DataContext) id =
        query {
            for order in db.Orders do
            where (order.Id = id)
            select (Order id)
            exactlyOne
        }

    let processOrder (Order id) =
        //...