func = f
 where
  {-# INLINE [~1] f #-}
  f = id