{-# LANGUAGE TupleSections #-} module InRhs where f [] = (0,) {-* TupleSections *-} f x = (0,) {-* TupleSections *-}