Using -> form of record constructors to avoid imports, thanks to @duelinmarkers (John Hume) for suggesting this