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:             | Header.None ->
                  { model with
                      Page = Home
                  }, Cmd.none
              | Header.User(user) ->
                  let m, cmd = Dashboard.init user
                  let cmd = Cmd.map DashboardMsg cmd
                  { model with 
                      Page = Dashboard
                      SubModel = DashboardModel m
                  }, Cmd.batch[cmd]
  
      match result with
          | None ->
              console.error("Error parsing url: " + location.href)
              homeOrDashboard model.Header
  
          | Some (Home) -> let m, cmd = homeOrDashboard model.Header
                           m, Cmd.batch[cmd]
          | Some (Login as page) ->
              { model with
                  Page = page
  