notebook.community
Edit and run
In [3]: :ext RankNTypes :ext ExplicitForAll test :: forall t. t -> () test x = ()
:ext RankNTypes :ext ExplicitForAll test :: forall t. t -> () test x = ()
In [ ]: