:: ord +::+ Char +->+ Int

introduce maps from the identity in <math> to the identity in <math>.

Examples

>>> introduce @(->) @() @() @() @(,) ()
((),())

>>> :t introduce @(->) @Void @() @() @Either
introduce @(->) @Void @() @() @Either :: () -> Either Void ()

>>> introduce @(->) @Void @() @() @Either ()
Right ()