Add roles declarations to forbid unsafe coercions

kl0tl · kl0tl · commit 63929ddc1b4d · 2020-07-18T18:41:02.000+02:00
diff --git a/src/Web/XHR/ResponseType.purs b/src/Web/XHR/ResponseType.purs
@@ -12,6 +12,8 @@ import Data.ArrayBuffer.Types (ArrayBuffer)
 
 newtype ResponseType res = ResponseType String
 
+type role ResponseType nominal
+
 arrayBuffer :: ResponseType ArrayBuffer
 arrayBuffer = ResponseType "arraybuffer"
 
