a :: Integer
a = a

main :: [Integer]
main = [x | x <- a]
--
5:18-5:19: Expected <[a]> got <Integer>.