records

• Semigroups and profunctors
• Python data classes