anchor.diff:                  Page = Login
                   SubModel = LoginModel (Login.TokenValidation (Auth0Lock.auth0CallbackParser token))
               }, Cmd.none
  -        | Some (Dashboard as page) -> homeOrDashboard model.Header, Cmd.none
  +        | Some (Dashboard) -> homeOrDashboard model.Header
           | Some (Page.Logout as page) ->
               { model with
                   Page = page
  
positive.code: open Client.Messages
  open Elmish.Browser.UrlParser
  open Elmish.HMR
  open System
  open Client
  open Client
  
  importSideEffects "whatwg-fetch"
  
negative.code:             map Home (s "home") 
              map Login (s "login")
              map Page.LoggedOut (s "loggedout")
              map Dashboard (s "dashboard")
              map TokenCallback (Auth0Lock.auth0lockParser () </> str)
          ]
  
  