causal context type synonym used instead of generic List⁺
specific identifier for map function over pairs
made implicit parameters of Padding.lagda, better naming