1newtype PoC = PoC (forall b . b)
2