module Data.TypeRig
    ( module I
    ) where

import Data.TypeRig.Productable as I
import Data.TypeRig.Riggable as I
import Data.TypeRig.Summable as I