From 250a0c6bc7fc752651744c835cbe1f9c5fd21b48 Mon Sep 17 00:00:00 2001
From: Paco <pakoito@users.noreply.github.com>
Date: Sat, 16 Sep 2017 00:55:30 +0100
Subject: [PATCH] Update Corecursive.kt

---
 .../main/kotlin/kategory/recursion/typeclass/Corecursive.kt   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kategory-recursion/src/main/kotlin/kategory/recursion/typeclass/Corecursive.kt b/kategory-recursion/src/main/kotlin/kategory/recursion/typeclass/Corecursive.kt
index 04761ad3105..4285ee94e86 100644
--- a/kategory-recursion/src/main/kotlin/kategory/recursion/typeclass/Corecursive.kt
+++ b/kategory-recursion/src/main/kotlin/kategory/recursion/typeclass/Corecursive.kt
@@ -1,6 +1,6 @@
 package kategory
 
-interface Corecursive<F, G> {
+interface Corecursive<F, G> : Typeclass {
     fun embedT(compFG: HK<Nested<F, G>, HK<F, G>>): HK<F, G>
 
     fun <A> ana(a: A, f: Coalgebra<Nested<F, G>, A>, FF: Functor<F>, FG: Functor<G>): HK<F, G> =
@@ -8,4 +8,4 @@ interface Corecursive<F, G> {
 
     fun <M, A> anaM(a: A, f: CoalgebraM<M, Nested<F, G>, A>, AG: Applicative<G>, TF: Traverse<F>, TG: Traverse<G>, MM: Monad<M>): HK<M, HK<F, G>> =
             hyloM(a, { MM.pure(embedT(it)) }, f, ComposedTraverse(TF, TG, AG), MM)
-}
\ No newline at end of file
+}