Formalization via type synonyms (3)
Formalization via type synonyms (3)

[gust/feature-creature#58]
Reference: https://slpopejoy.github.io/posts/Effectful02.html

gust/feature-creature,gust/feature-creature