Use an existential type, usually called Some in Haskell: https://hackage.haskell.org/package/some-1.0.5/docs/Data-Som... The implementation of this type one has in their head (a GADT) adds a boxing overhead, but the actual implementation in this library uses a newtype.
That way if you have a type Expr a, you can have a list type [Some Expr].
No, it’s not—-they’re passing in a “node”, not a list, which always contains both a head element and a (nullable) tail pointer. That’s why it can’t separate the head in the case of size one: the node must maintain a non-null head.
The second page starts the "FULL PRESCRIBING INFORMATION"; the body weight quote above comes from section 12.3 of it and there is no mention of a weight exclusion in the discussion of the clinical studies in section 14. AFAIK, "label" typically refers to this sort of ~20 page prescribing information, but is there a different label you have in mind? I believe the one-page package insert is the last page, page 17.
Just a random thing I noticed reading through [1]: you might have a bug in how you calculate the magnitudes of the signals? When you assign the output of the low-pass filters on the high frequency to the input of the magnitude approximator, you assign the imaginary LPF to the imaginary input but the real LPF to also the imaginary input, which I think is incorrect? Since I’m on mobile, it’s easiest for me to show sign a screenshot: https://i.imgur.com/tAQe5Sr.jpg (If that is indeed a bug, I’m curious how that might impact the results!)
I worked the polls in Allegheny, and while the broad strokes are similar to what you described, there are definitely a few differences:
- Most people fill out their ballot on paper with a pen, but a voting machine is also available to generate a ballot (anyone can request to use the machine, but it's intended for those with disabilities). Either way, the voter then feeds their paper ballot into a central counting machine (most districts only have one, but some have more).
- Police are in no way involved (unless the poll workers call them to attempt to address an issue during the day). The judge of elections is responsible for picking up the materials a few days beforehand and then dropping them off at the county office at the end of the day.
- Only four receipts are printed: one to go to the county office, one stays with the minority inspector for a year, one is posted outside the polling place, and... I can't remember what happens with the fourth.
In any case, though, thanks for writing this up in detail -- it's good to read how other places do it, and for those that haven't been a poll worker, it's good to read how at least one place does it!
I don't mean to imply that that is a low risk, only that speed is quite a crucial factor.