"Five-Point Haskell": Unconditional Election via Parametricity