> module HscTypes where
>
> data Session