I would like to see type specifications for records. This would be a step towards dialyzer being able to check assignments to records for correctness. It would be nice if a type checking assertion could be automatically generated for the assignment while developing code and be selectively turned off for production.