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

import Data.Fixpoint.Base
import Data.Fixpoint.Instances ()  -- just the instances