Consider the following code,
data MyBaseExpr α where
ConstE :: Show α => α -> MyBaseExpr α
class Monad
Consider the following code,
data MyBaseExpr α where
ConstE :: Show α => α -> MyBaseExpr α
class Monad