Add unit :: forall a. a -> Unit
Add Unit example