In [3]:
:ext RankNTypes
:ext ExplicitForAll

test :: forall t. t -> ()
test x = ()

In [ ]: