-- | Wrap the underlying table and the rules. Isomorphic to @(,)@.

module ADP.Fusion.SynVar.TableWrap where



-- | Wrap tables of type @t@. The tables are strict, the functions @f@ can
-- not be strict, because we need to build grammars recursively.

data TW t f = TW !t f