OrdC package:ghc

Not a record constructor
Record fields in record construction must have a fixed runtime representation.
Record construction