1data Test a = Test [a]
2
3instance Semigroup (Test a) where
4  Test a <> Test c = _
5
6