module Parsers.Playground where
import Symantic.Parser
-import qualified Symantic.Parser.Haskell as H
+import qualified Symantic.Syntaxes.Classes as Prod
boom :: CombApplicable repr => repr ()
boom =
let goo = (-- newRegister_ unit (\r1 ->
let hoo = {-get r0 <~> get r1 *>-} goo *> hoo in hoo
) *> goo
- in goo) *> pure H.unit
+ in goo) *> pure Prod.unit
in foo *> foo