------------------------------------------------------------------------
-- The Agda standard library
--
-- Typeclass instances for Covec
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe --sized-types #-}

module Codata.Covec.Instances where

open import Codata.Covec.Categorical

instance
  covecFunctor = functor
  covecApplicative = applicative