module T15659 where

{-# RULES "test" forall x. f x  = x #-}