replace elegant  impl with one that performs. sigh.
start including types from foolsParadises. Need to be wired up