The spec

No (non-base) packages used, so you can load it thus

ghci spec.hs

Works with ghc-8.8.4 but should be pretty portable.

The lower level "implementation" is all stubbed out, so no ability to run yet.