1 2 3 4 5 6 7 8 9 10 11
module ShouldSucceed where data AList a = ANull | ANode a (AList a) type IntList = AList Int g (ANull) = 2 g (ANode b (ANode c d)) | b = 3 | True = 4