looking at julia's type hierarchy