+ FloydHoare
+ TypeClass