endomorphism: Function that transforms one type to the same type, e.g. String -&gt; String </>