An example LHS

> {-# LANGUAGE OverloadedStrings #-}

> module TLHS where

More comments, here.

> -- | >>> 2+2

> -- | >>> x+a

> {- |
> >>> 5+5
> 11
> -}
> x :: Integer
> x = 3

> a :: Integer
> a = 11

