with-0.1.0: Simple open product type
Data.With
data a :&: b infixr 1 Source #
Open prduct type
Constructors
type With = (:&:) Source #