Using -> form of record constructors to avoid imports