mc25.hs:9:46: error:
• Couldn't match type ‘a -> t1’ with ‘Int’
Expected type: (a -> t1) -> [a] -> [t a]
Actual type: Int -> [t a] -> [t a]
• In the expression: take
In a stmt of a monad comprehension: then group by x using take
In the expression: [x | x <- [1 .. 10], then group by x using take]
• Relevant bindings include z :: [t t1] (bound at mc25.hs:9:1)