See https://www.bassi.io/articles/2021/07/27/final-types/ Don't do this in the demo for now. Fixes #273