John De Goes氏の別の発言
“Tagless-final type classes do not, in general,
have algebraic laws. Most have no laws at all.
This represents a serious abuse of the construct
of a type class ...”
Beautiful, Simple, Testable Functional Effects for Scala
JOHN A DE GOES (blog) Feb, 2019
John De Goes氏 ZIO作者