Closed. This question is
CodePudding user response：
One defines a signature for a function by writing the name of the function, then two consecutive colons (::), and then the signature. You forgot the double colon, you thus write the signature of your concat function with:
concat :: [[a]] -> [a]
