Parameter Map.1-A

type (_, _) t