Add Control.Monad.Writer sample
Add tell call
Add samples
Add missing type