Revision history for coercible-subtypes

0.2.0.0 -- 2021-09-13

• Add Related
• Add IsIntersection and IsUnion facilities

0.1.1.0 -- 2021-08-24

• Add instances Coercible a b => (Read (Sub a b), Enum (Sub a b), Bounded (Sub a b))
• Add instantiate
• Add some more combinators

0.1.0.0 -- 2020-04-08

• First version.