Inside a record type annotations I don't think a type should be in brackets, unless it is a nested record type annotation. So my fix would be to remove the brackets from the types.