Using elm-pages to make dynamic data a compile-time constraint