func :: a -> a