[ fix ] Codata.Thunk now also exports a map

Author: gallais

src/Codata/M/Properties.agda

@@ -8,7 +8,7 @@ module Codata.M.Properties where
 
 open import Level
 open import Size
-open import Codata.Thunk
+open import Codata.Thunk using (Thunk; force)
 open import Codata.M
 open import Codata.M.Bisimilarity
 open import Data.Container as C hiding (map) renaming (module Morphism to Mp)