the Result Type

[seany]

O_O

with that knowledge, would also be possible to define new types 
(not aliases, but new encapsulated types) representing things 
such as Graph, Ring, Topology, surreal number, etc?

I dont find this in your book, would you consider either adding 
this Volodemrot types, or in case they already are there, give me 
a link (both the introductions in d wiki and dr. doobs blog was 
very short)