Parameter Map.A

type (_, _) t