Attempt to play with row type emulation in haskell ended up in predicatable failure. When we try to look up value by its type we need to know type exactly but it breaks down when type is polymorphic (Foo a) for some a. It required explicit type annotations which make thing quite awkward to use.
Another reason to abandon :*: is new hchain-config. Instances derived using this library interact with instance :*: rather poorly
Attempt to play with row type emulation in haskell ended up in predicatable failure. When we try to look up value by its type we need to know type exactly but it breaks down when type is polymorphic (
Foo a) for some a. It required explicit type annotations which make thing quite awkward to use.Another reason to abandon
:*:is new hchain-config. Instances derived using this library interact with instance:*:rather poorly