anchor.diff:              | Header.None ->
                   { model with
                       Page = Home
  -                }
  -            | Header.User(_) ->
  +                }, 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)
  -            ( model, Navigation.modifyUrl (toHash model.Page) )
  +            homeOrDashboard model.Header
   
  -        | Some (Home) -> homeOrDashboard model.Header, Cmd.none
  +        | Some (Home) -> let m, cmd = homeOrDashboard model.Header
  +                         m, Cmd.batch[cmd]
           | Some (Login 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:                 Page = Login
                  SubModel = LoginModel (Login.TokenValidation (Auth0Lock.auth0CallbackParser token))
              }, Cmd.none
          | Some (Dashboard) -> homeOrDashboard model.Header
          | Some (Page.Logout as page) ->
              { model with
                  Page = page
  