Hide MkEnv

Author: kztk-m

ebu/src/Unembedding/Env.hs

@@ -16,7 +16,7 @@ Generic environment used by Embedding by Unembedding, and functions over it.
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE ViewPatterns         #-}
 module Unembedding.Env (
-  Env(.., ENil, ECons, (:.)), Ix(..), lookEnv, lenEnv, mapEnv, mapEnvWithIx, fromIndexer,
+  Env(ENil, ECons, (:.)), Ix(..), lookEnv, lenEnv, mapEnv, mapEnvWithIx, fromIndexer,
   Append, appendEnv,
 
   Func, fromFunc,