-- Data types for the sum-of-products type encoding;
-- included for backwards compatibility; maybe obsolete.
(:*:)(..), (:+:)(..), Unit(..)
-- Data types for the sum-of-products type encoding;
-- included for backwards compatibility; maybe obsolete.
(:*:)(..), (:+:)(..), Unit(..)