magical type evaluation