typeclassy follows these domains