requesting that both syntaxes be supported (at least for top level declarations) ``` foo :: forall a e. a -> e foo :: a -> e ```