1 2 3 4 5
-- Class used as a type, recursively module ShouldFail where class XML a where toXML :: a -> XML