Publish a functional Superfluid Protocol spec written in Haskell