module Data.Fixpoint (
    module Data.Fixpoint.Base,
    module Data.Fixpoint.Instances
) where

import Data.Fixpoint.Base
import Data.Fixpoint.Instances