diff --git a/src/Data/Lazy.purs b/src/Data/Lazy.purs
index cdc4b4b..2fa336b 100644
--- a/src/Data/Lazy.purs
+++ b/src/Data/Lazy.purs
@@ -29,6 +29,8 @@ import Data.TraversableWithIndex (class TraversableWithIndex)
 -- | `Lazy` values can be evaluated by using the `force` function.
 foreign import data Lazy :: Type -> Type
 
+type role Lazy representational
+
 -- | Defer a computation, creating a `Lazy` value.
 foreign import defer :: forall a. (Unit -> a) -> Lazy a