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