Delving into Advanced Types within the Julia Type System - eviltoast