Started type classes chapter