/dev-haskell/nanospec/