convert to record syntax, exhaust toList