Report question

Question: How to create Type which contains String with limited length in Haskell