Closed shingarov closed 1 month ago
We have no leeway what to call it, because FTycon must be member of the Symbolic typeclass for the construction of dEnv in #symEnv to work.
We have no leeway what to call it, because FTycon must be member of the Symbolic typeclass for the construction of dEnv in #symEnv to work.