diff --git a/core/src/main/scala/alleycats/EmptyK.scala b/core/src/main/scala/alleycats/EmptyK.scala
index f9ebafd..85596d3 100644
--- a/core/src/main/scala/alleycats/EmptyK.scala
+++ b/core/src/main/scala/alleycats/EmptyK.scala
@@ -12,12 +12,8 @@ import simulacrum.typeclass
     }
 }
 
-object EmptyK extends EmptyK0
-
-// Currently a simulacrum bug prevents this trait from being folded into
-// the object
 @imports[EmptyK]
-trait EmptyK0
+object EmptyK
 
 @exports
 object EmptyKInstances {