Type Classes - PureScript by Example
book.purescript.org