This is what I call haskellsplaining - explaining concept from first principles and mathematical definitions rather than from how they are used and what they ar

This is what I call haskellsplaining - explaining concept from first principles and mathematical definitions rather than from how they are used and what they are useful for.