emptyToFEnv :: Env
emptyToFEnv = Env initialTyConEnv mempty mempty mempty mempty mempty mempty
emptyToFEnv :: Env
emptyToFEnv = Env initialTyConEnv mempty mempty mempty mempty mempty mempty
emptyToFEnv = Env initialTyConEnv mempty mempty mempty mempty mempty mempty