From 35f10ac99f627d61f18d50b61914fc1bfc0ba410 Mon Sep 17 00:00:00 2001 From: James Brock Date: Sun, 20 Oct 2024 01:34:50 +0900 Subject: [PATCH] Update Roles.md --- language/Roles.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/language/Roles.md b/language/Roles.md index ca3d4df..e6ff7d0 100644 --- a/language/Roles.md +++ b/language/Roles.md @@ -26,7 +26,7 @@ newtype Shown a = Shown ((Show a => a -> String) -> String) `Coercible (Shown a) (Shown b)` does not hold, even when `Coercible a b` does. -Inferring a more permissive role would allow to coerce instances dictionnaries, which would threaten _coherence_: we could exhibit multiple type class instances with different behaviour for the same type. +Inferring a more permissive role would allow to coerce instances dictionaries, which would threaten _coherence_: we could exhibit multiple type class instances with different behaviour for the same type. ```purescript shown :: forall a. Shown a -> String