{-# LANGUAGE RankNTypes #-}
func :: forall b . Show b => b -> String