Associativity of the generic representation of sum types

[Bas van Dijk]

2011/9/22 Bas van Dijk <v.dijk.bas at gmail.com>:
> What would make all this much easier is if the meta-information of
> constructors had a flag which indicated if it was a record or not.
> Could this be added?

I just discovered the predicate:

  -- | Marks if this constructor is a record
  conIsRecord :: t c (f :: * -> *) a -> Bool

I think this can solve my problem.

Bas