module Main where -- | A -- B type D = E -- | This is 'f' -- * Comment f :: a -> b