diff options
| -rw-r--r-- | docs/users_guide/exts/linear_types.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/linear_types.rst b/docs/users_guide/exts/linear_types.rst index b15f75ef0c..b34dd2631e 100644 --- a/docs/users_guide/exts/linear_types.rst +++ b/docs/users_guide/exts/linear_types.rst @@ -72,10 +72,10 @@ the value ``MkT1 x`` can be constructed and deconstructed in a linear context: :: - construct :: a %1 -> MkT1 a + construct :: a %1 -> T1 a construct x = MkT1 x - deconstruct :: MkT1 a %1 -> a + deconstruct :: T1 a %1 -> a deconstruct (MkT1 x) = x -- must consume `x` exactly once When used as a value, ``MkT1`` is given a multiplicity-polymorphic |