\begin{code}
{-# LANGUAGE ScopedTypeVariables #-}

module Test
where
\end{code}

> import Data.List
> import Data.Char