С этого вопроса: What is a higher kinded type in Scala?, я понимаю, что такое higher-order types (также first-order type и proper type). Но есть еще вопрос: какая связь между generics и «более высоким
В this работе SPJ, на странице 3 и 4, написано: class Mutation m where
type Ref m :: * -> *
newRef :: a -> m (Ref m a)
readRef :: Ref m a -> m a
writeRef :: Ref m a -> a -> m()
i