Notes for the conceptual examples below. Gin and Tonic were used as prototypical
examples of things that "are joined". In the table form, they are alude to the following
tonics is Query[Tonic], tonic is Tonic
gins is Query[Gin], is Gin
waters is Query[Water], water is Water
ginifySpirit is some f:Spirit => Gin
tonicfyWater is some f:Tonic => Water
bottleGin is some f:Gin => Bottle
Additionally Map(a,b,c).quat is the same as c.quat. The former
is used in most examples with DetachableMap
Notes for the conceptual examples below. Gin and Tonic were used as prototypical examples of things that "are joined". In the table form, they are alude to the following tonics is Query[Tonic], tonic is Tonic gins is Query[Gin], is Gin waters is Query[Water], water is Water
ginifySpirit is some f:Spirit => Gin tonicfyWater is some f:Tonic => Water bottleGin is some f:Gin => Bottle Additionally Map(a,b,c).quat is the same as c.quat. The former is used in most examples with DetachableMap