higher order kind examples are put into a separate module