port to agda/2.5.4.1 and agda-stdlib/0.17
[~helmut/bidiragda.git] / Structures.agda
index 1a8fd64..fd44534 100644 (file)
@@ -2,7 +2,8 @@ module Structures where
 
 open import Category.Functor using (RawFunctor ; module RawFunctor)
 open import Category.Monad using (module RawMonad)
-open import Data.Maybe using (Maybe) renaming (monad to MaybeMonad)
+open import Data.Maybe using (Maybe)
+open import Data.Maybe.Categorical using () renaming (monad to MaybeMonad)
 open import Data.Nat using (ℕ)
 open import Data.Vec as V using (Vec)
 import Data.Vec.Properties as VP