# Revision history for coercible-subtypes

## 1 -- 2024-12-22

* Breaking changes

  * Remove dependency to `profunctors` package. A `Profunctor`-related function `dimapR`
    is removed and replaced by `arrowR`.
    `dimapR` is moved to `coercible-subtypes-profunctor` package.

## 0.3.0.0 -- 2023-01-01

* Breaking changes
  
  * Change the `Newtype.Intersection.associative` and `Newtype.Union.associative` to new,
    more succinct type.

* Instance added to `IsIntersection` and `IsUnion`

## 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.