madness: gonna remove the function type, and work with its symbol representation