module T5867a where {-# DEPRECATED f "Don't use f!" #-} f x = x