Yes that seems like it would be much steeper for complete beginners. It might actually make things easier for people coming from other languages - you get to learn typeclasses by comparing foldable with similar familiar concepts  from other languages (iterable &#x2F; enumerable) without getting special syntax as part of the &quot;understanding&quot; package (do notation &#x2F; overloaded literals).