Same 0 = 9 data Same a = Same a
leads to two duplicate
Pattern declaration not allowed at top-level
errors