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