1 2 3 4 5 6 7 8 9 10 11
-- The same as the module in p1, but doesn't contain an instance module P where class Test x where test :: x -> x data P = P instance Test P where test = id