Type error examples The examples in this directory demonstrate the type safety Tecton adds to CSS. Therefore, each one fails to compile. You can attempt to compile an example by running: spago build -p examples/type-errors/<name>.purs