高階多相
higher-order
polymorphism
高kind多相_
#WIP
Kind Polymorphism