We cannot leave all these \hs{State} type constructors out, since that
would change the type (unlike when using type synonyms). However, when
We cannot leave all these \hs{State} type constructors out, since that
would change the type (unlike when using type synonyms). However, when