Associativity of the generic representation of sum types

Bas van Dijk v.dijk.bas at
Thu Sep 22 14:45:11 CEST 2011

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


More information about the Glasgow-haskell-users mailing list