diff --git a/README.md b/README.md
index 42d3e9c..a788371 100644
--- a/README.md
+++ b/README.md
@@ -27,11 +27,14 @@ Descending differs from [Identity][] only in the behaviour of its
```javascript
> const Useless = require ('sanctuary-useless')
+> const isTypeClass = x =>
+. type (x) === 'sanctuary-type-classes/TypeClass@1'
+
> S.map (k => k + ' '.repeat (16 - k.length) +
. (Z[k].test (Descending (Useless)) ? '\u2705 ' :
. Z[k].test (Descending (['foo'])) ? '\u2705 * ' :
. /* otherwise */ '\u274C '))
-. (S.keys (S.unchecked.filter (S.is ($.TypeClass)) (Z)))
+. (S.keys (S.unchecked.filter (isTypeClass) (Z)))
[ 'Setoid ✅ * ', // if ‘a’ satisfies Setoid
. 'Ord ✅ * ', // if ‘a’ satisfies Ord
. 'Semigroupoid ❌ ',
@@ -58,7 +61,7 @@ Descending differs from [Identity][] only in the behaviour of its
. 'Contravariant ❌ ' ]
```
-#### `Descending :: a -> Descending a`
+#### `Descending :: a -> Descending a`
Descending's sole data constructor. Additionally, it serves as the
Descending [type representative][].
@@ -68,19 +71,7 @@ Descending [type representative][].
Descending (42)
```
-#### `Descending.@@type :: String`
-
-Descending [type identifier][].
-
-```javascript
-> type (Descending (42))
-'sanctuary-descending/Descending@1'
-
-> type.parse (type (Descending (42)))
-{namespace: 'sanctuary-descending', name: 'Descending', version: 1}
-```
-
-#### `Descending.fantasy-land/of :: a -> Descending a`
+#### `Descending.fantasy-land/of :: a -> Descending a`
`of (Descending) (x)` is equivalent to `Descending (x)`.
@@ -89,7 +80,7 @@ Descending [type identifier][].
Descending (42)
```
-#### `Descending.fantasy-land/chainRec :: ((a -> c, b -> c, a) -> Descending c, a) -> Descending b`
+#### `Descending.fantasy-land/chainRec :: ((a -> c, b -> c, a) -> Descending c, a) -> Descending b`
```javascript
> Z.chainRec (
@@ -107,7 +98,7 @@ Descending (64)
Descending (0)
```
-#### `Descending#@@show :: Showable a => Descending a ~> () -> String`
+#### `Descending#@@show :: Showable a => Descending a ~> () -> String`
`show (Descending (x))` is equivalent to
`'Descending (' + show (x) + ')'`.
@@ -117,7 +108,7 @@ Descending (0)
'Descending (["foo", "bar", "baz"])'
```
-#### `Descending#fantasy-land/equals :: Setoid a => Descending a ~> Descending a -> Boolean`
+#### `Descending#fantasy-land/equals :: Setoid a => Descending a ~> Descending a -> Boolean`
`Descending (x)` is equal to `Descending (y)` [iff][] `x` is equal to `y`
according to [`Z.equals`][].
@@ -130,7 +121,7 @@ true
false
```
-#### `Descending#fantasy-land/lte :: Ord a => Descending a ~> Descending a -> Boolean`
+#### `Descending#fantasy-land/lte :: Ord a => Descending a ~> Descending a -> Boolean`
`Descending (x)` is less than or equal to `Descending (y)` [iff][]
`y` is less than or equal to `x` according to [`Z.lte`][] (note the
@@ -141,7 +132,7 @@ transposition of `x` and `y`).
[Descending (5), Descending (2), Descending (1)]
```
-#### `Descending#fantasy-land/concat :: Semigroup a => Descending a ~> Descending a -> Descending a`
+#### `Descending#fantasy-land/concat :: Semigroup a => Descending a ~> Descending a -> Descending a`
`concat (Descending (x)) (Descending (y))` is equivalent to
`Descending (concat (x) (y))`.
@@ -151,7 +142,7 @@ transposition of `x` and `y`).
Descending ([1, 2, 3, 4, 5, 6])
```
-#### `Descending#fantasy-land/map :: Descending a ~> (a -> b) -> Descending b`
+#### `Descending#fantasy-land/map :: Descending a ~> (a -> b) -> Descending b`
`map (f) (Descending (x))` is equivalent to `Descending (f (x))`.
@@ -160,7 +151,7 @@ Descending ([1, 2, 3, 4, 5, 6])
Descending (8)
```
-#### `Descending#fantasy-land/ap :: Descending a ~> Descending (a -> b) -> Descending b`
+#### `Descending#fantasy-land/ap :: Descending a ~> Descending (a -> b) -> Descending b`
`ap (Descending (f)) (Descending (x))` is equivalent to
`Descending (f (x))`.
@@ -170,7 +161,7 @@ Descending (8)
Descending (8)
```
-#### `Descending#fantasy-land/chain :: Descending a ~> (a -> Descending b) -> Descending b`
+#### `Descending#fantasy-land/chain :: Descending a ~> (a -> Descending b) -> Descending b`
`chain (f) (Descending (x))` is equivalent to `f (x)`.
@@ -179,7 +170,7 @@ Descending (8)
Descending (100)
```
-#### `Descending#fantasy-land/reduce :: Descending a ~> ((b, a) -> b, b) -> b`
+#### `Descending#fantasy-land/reduce :: Descending a ~> ((b, a) -> b, b) -> b`
`reduce (f) (x) (Descending (y))` is equivalent to `f (x) (y)`.
@@ -188,7 +179,7 @@ Descending (100)
[1, 2, 3, 4, 5, 6]
```
-#### `Descending#fantasy-land/traverse :: Applicative f => Descending a ~> (TypeRep f, a -> f b) -> f (Descending b)`
+#### `Descending#fantasy-land/traverse :: Applicative f => Descending a ~> (TypeRep f, a -> f b) -> f (Descending b)`
`traverse (_) (f) (Descending (x))` is equivalent to
`map (Descending) (f (x))`.
@@ -198,7 +189,7 @@ Descending (100)
[Descending (101), Descending (102), Descending (103)]
```
-#### `Descending#fantasy-land/extend :: Descending a ~> (Descending a -> b) -> Descending b`
+#### `Descending#fantasy-land/extend :: Descending a ~> (Descending a -> b) -> Descending b`
`extend (f) (Descending (x))` is equivalent to
`Descending (f (Descending (x)))`.
@@ -208,7 +199,7 @@ Descending (100)
Descending (100)
```
-#### `Descending#fantasy-land/extract :: Descending a ~> () -> a`
+#### `Descending#fantasy-land/extract :: Descending a ~> () -> a`
`extract (Descending (x))` is equivalent to `x`.
@@ -219,8 +210,7 @@ Descending (100)
[Fantasy Land]: https://github.com/fantasyland/fantasy-land/tree/v4.0.1
[Identity]: https://github.com/sanctuary-js/sanctuary-identity
-[`Z.equals`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v11.0.0#equals
-[`Z.lte`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v11.0.0#lte
+[`Z.equals`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.0.0#equals
+[`Z.lte`]: https://github.com/sanctuary-js/sanctuary-type-classes/tree/v12.0.0#lte
[iff]: https://en.wikipedia.org/wiki/If_and_only_if
-[type identifier]: https://github.com/sanctuary-js/sanctuary-type-identifiers/tree/v2.0.1
[type representative]: https://github.com/fantasyland/fantasy-land/tree/v4.0.1#type-representatives
diff --git a/package.json b/package.json
index 64c7521..575bb84 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
{
"name": "sanctuary-descending",
- "version": "1.2.0",
+ "version": "2.0.0",
"description": "Fantasy Land -compliant Descending type",
"license": "MIT",
"repository": {