Just a few words on #fsharp and the value that types bring in general. In Farmer, we do lots of things to make life easier to compose @azure resources together, or to have abstractions that automatically create resources together that you'll always want. To the end, we often have situations where we need to model a reference to an arbitrary resource which is either: * Automatically Generated: A resource that Farmer will create implicity, without the user asking. An example of this is a Public IP when creating a VM - you ask for a VM, and Farmer automatically generates a Public IP resource in Azure and links it to the VM. * A Linked Resource: A resource that you provide explicitly to Farmer. So you might want "full control" of a public IP, create that (either manually or through Farmer) and then supply it to the VM. We call this a Resource Reference (ignore the 'TConfig generic argument for now).