Higher kinded and path dependent types
# random
p
Higher kinded and path dependent types