I know what is a higher kind and types named like ...
# arrow
n
I know what is a higher kind and types named like "higher kind option" are understandible