Accordingly, much of the work in extending the language has been directed towards types and type classes.
それ故に、言語拡張の作業の多くは型と型クラスに向けたものになっている。