Why can't I use a type alias in place of a trait?

See this code. It seems like this would be useful no? But it fails with an error "'MyFunc' is not a trait". Does anyone know why this is the case? Thanks!