{-# OPTIONS --guardedness #-}
import Algebra.Elgot
import Algebra.Elgot.Free
import Algebra.Elgot.Properties
import Algebra.Elgot.Stable
import Category.Ambient
import Category.Ambient.Setoids
import Category.Construction.ElgotAlgebras
import Category.Construction.ElgotAlgebras.Exponentials
import Category.Construction.ElgotAlgebras.Products
import Category.Construction.PreElgotMonads
import Category.Construction.StrongPreElgotMonads
import Monad.EquationalLifting
import Monad.Instance.Delay
import Monad.Instance.Delay.Commutative
import Monad.Instance.Delay.Strong
import Monad.Instance.K
import Monad.Instance.K.Commutative
import Monad.Instance.K.EquationalLifting
import Monad.Instance.K.PreElgot
import Monad.Instance.K.Strong
import Monad.Instance.K.StrongPreElgot
import Monad.Instance.Maybe
import Monad.Instance.Maybe.Commutative
import Monad.Instance.Maybe.EquationalLifting
import Monad.Instance.Maybe.Strong
import Monad.Instance.Setoids.Delay
import Monad.Instance.Setoids.K
import Monad.PreElgot