dependent-sum-0.3.1.0: src/Data/Dependent/Sum.hs-boot
{-# LANGUAGE ExistentialQuantification, TypeOperators #-}
module Data.Dependent.Sum where
data DSum tag f = forall a. !(tag a) :=> f a
infixr 1 :=>
{-# LANGUAGE ExistentialQuantification, TypeOperators #-}
module Data.Dependent.Sum where
data DSum tag f = forall a. !(tag a) :=> f a
infixr 1 :=>