\documentclass{article}

%include polycode.fmt
%include forall.fmt

\begin{document}

> forall a . a -> a

\end{document}