No, it's not. It uses Haskell's data types but it's explicitly not about Haskell's data types. It also explicitly addresses two definitions of "object" so as t

No, it's not. It uses Haskell's data types but it's explicitly not about Haskell's data types. It also explicitly addresses two definitions of "object" so as to constrain vagueness.