fun repeat(str :: String, n :: Nat) :: List:
        [body]

I may be over-sensitive to looks but... god why ?

    fun repeat(str: String, n: Nat): List = 

would be prettier. (I guess authors had to compromise in affecting symbols)