objective Paper: https://fumieval.github.io/papers/en/2015-Haskell-objects.html This package provides composable objects and instances. Introduction The primal construct, Object, models object-oriented objects. Object f g represents an object. newtype Object f g = Object { runObject :: forall x. f x -> g (x, Object f g) } An object interprets a message f a and returns the result a and the next obj