Continued types/typeclasses learning.