Up
–
higher_kinded
»
Higher_kinded
»
Make4
» 1-X
Parameter
Make4.1-X
type
(_, _, _, _) t