Type classes

[ppolesiuk]

As mentioned in #95, type classes may solve the problems of termination checker for constraint solver. In Fram, type classes can be seen as sets of constraints (types, type classes, and methods) that can be attached to data. The syntax could be the following.

class C X =
  { T
  , method foo : X ->[] T
  , method bar : T ->[] X
  }

impl C Int =
  { T = Unit
  , method foo = ...
  }