型クラス
ある型で何ができるかを示すもの
インターフェースに近い
code:show.purs
class Show a where
show :: a -> String
Show 型クラスのインスタンスである型は show :: a -> String を実装する必要がある
型引数の条件として指定できる
Num a => a -> a -> a とすれば任意の数値型の2項演算に
Ord a => List a -> List a としてソートやってるっぽいものとか