if it's type system is turing complete, how can it not? presumably it just doesn't have a short syntax for them? if so, given what i know of the rest of scala

if it's type system is turing complete, how can it not? presumably it just doesn't have a short syntax for them? if so, given what i know of the rest of scala, i'm surprised one can't be defined...