@@ -4,11 +4,16 @@ import Prelude
5import Data.Generic
5import Data.Generic
9+derive instance genericVoid :: Generic Void
8 = A Number String
12 = A Number String
10 | C (Array (A a))
14 | C (Array (A a))
11 | D { a :: a }
15 | D { a :: a }
13derive instance genericA :: (Generic a) => Generic (A a)
18derive instance genericA :: (Generic a) => Generic (A a)