haskell — not understanding why this associated ty

2019-08-27 02:41发布

问题:

Consider the following code,

data MyBaseExpr α where
    ConstE :: Show α => α -> MyBaseExpr α

class Monad