iface: add many `Forall` instances

[haskell/symantic-base.git] / src / Symantic.hs

module Symantic (
  module Symantic.Semantics,
  module Symantic.Syntaxes,
) where

import Symantic.Semantics
import Symantic.Syntaxes