Describing three strategies of implementing type classes, aiming to clarify their behavior