{-# LANGUAGE ScopedTypeVariables #-}
func :: forall (a :: *) b . a -> b