func :: a -> (a -> a)