List type signatures

Question

This makes sense:

test :: [[Int]]
test = [[]]

main = print test

But why does this compile (and run)?

test :: [[Int]]
test = []

main = print test

Answer 1

[[Int]] is list of lists (of Int's) and

• [[]] - list with one empty list inside
• [] - empty list