Re: Associativity of the generic representation of sum types

22 Sep 2011

      2011/9/22 Bas van Dijk :
...
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