published patamorphism + veryseriouscompiler impl