https://9dok.net/document/y96j065l-das-parametrizitäts-theorem-reynolds-wadler.html