Identifiers!?

I have noticed that in the PureScript community you like to save so much on the typing, that you prefer single character variable/argument names, which I thought was somewhat of an anti-pattern!? but I understand why:

`∀ e s a. (Generic a, Generic s) ⇒ (a → s → s) → s → Eff (store :: STORE | e) (Store e a s)` would quickly be several lines with meaningful identifiers

I guess `a` = action, `e` = effect and `s` = state ?? Assumes understanding of the community conventions? "In the know" ;)

PS: PureScript newbie here...