module ShouldFail where

class Foo o where
  (:+) :: o -> o -> o