Up
–
higher_kinded
»
Higher_kinded
»
Make2
» 1-X
Parameter
Make2.1-X
type
('a, 'b) t