From f3457abd9dd9a1a90110d103d8d8f917f3f8b269 Mon Sep 17 00:00:00 2001
From: Cyril Sobierajewicz <sobierajewicz.cyril@gmail.com>
Date: Sun, 24 May 2020 12:16:54 +0200
Subject: [PATCH] Re-export `Prim.Coerce.Coercible`

Being able to import `Coercible` from `Safe.Coerce` instead of `Prim.Coerce` offers similar ergonomics than the typelevel prelude regarding the `Prim.*` modules.
---
 src/Safe/Coerce.purs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Safe/Coerce.purs b/src/Safe/Coerce.purs
index 10a8682..619bb3a 100644
--- a/src/Safe/Coerce.purs
+++ b/src/Safe/Coerce.purs
@@ -1,6 +1,6 @@
-
 module Safe.Coerce
-  ( coerce
+  ( module Prim.Coerce
+  , coerce
   ) where
 
 import Prim.Coerce (class Coercible)