anchor.diff:              input [attribute "type" "checkbox"; attribute "defaultChecked" active'; onMouseClick(fun _ -> Toggle)]
               label [] [text ""]
               
  -        ]        
  +        ]     
  +        
  +    let initial = { isActive = false }
  +    
  +    let app = {
  +        initial = initial
  +        update = update
  +        view = view
  +        subscriptions = Subscriptions.none
  +        onRendered = OnRendered.ignore
  +    }     
   
   module ValueApp = 
       open DomHelpers
  
positive.code:                     ]
          ]
  
  [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Transformation =
      open DomHelpers
  
negative.code: 
      type Model = Choice
  
      type Action = Select of string    
  
      let update env (model : Model) (action : Action) =
          match action with
              | Select x -> { model with selected = x }
    
  