Control.Category.Index

Index-Preserving Functions

type a :-> b