it explains typeclasses, higher kinds, etc
# arrow
p
it explains typeclasses, higher kinds, etc