Is TEA a comonad?

[rupert]

@rtfeldman

The implication here is that “structuring Elm programs as nested M/V/U triplets is a reasonable choice, but how to do it nicely is an unsolved design problem,” even though the language’s foundational design, Occam’s Razor, and a mountain of historical evidence all say the reality is actually that “structuring Elm programs as nested M/V/U triplets is a mistake.”

I do recognize this as being true BTW, I just did not make a good job of stating it clearly enough in the opening post. However, as I can see it used in the elm-spa-example, I think it is important to acknowledge that it is a valid technique and there are occasions where we resort to it. (And as you can see from my code, I resorted to it too soon).

I’ll start a new thread I think to discuss the Program convolution - now that I’ve gone from grasping at ideas to a rough outline I think I have something that will work nicely for what I am trying to do with my auth package and its API. I will also try and provide some justification as to why I think it is a reasonable choice for what I am trying to do with that.