This package provides a basic dependent sum type. the first component is a tag that specifies the type of the second.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.