# cabal check
Warning: These warnings may cause trouble when distributing the package:
Warning: Deprecated extensions: 'RecordPuns'. Instead of 'RecordPuns' use 'NamedFieldPuns'.