class type [['a, 'b]] t = object .. end
[['a, 'b]]
object
end
method encode : 'a -> 'b
'a -> 'b
method decode : 'b -> 'a option
'b -> 'a option