x :: forall a. a
x = undefined