module Synapse::Upcasting