lambdacube-2008.12.24: test.cube

let Char :: *;
    'b' :: Char;
in

replicate Char 3 'b'