https://profilbaru.com/Higher-order_type_operator