Exposed the real type of record constructors