naturality
equal
traverse
naturality1
traverse1