Export `subtract` in the Prelude
Initialize undefined elements to show their index
Switch from test-framework to tasty