Having trouble, record system fighting against type annotations