purescript-0.11.5: examples/failing/InstanceSigsBodyIncorrect.purs
-- @shouldFailWith TypesDoNotUnify module Main where class Foo a where foo :: a instance fooNumber :: Foo Number where foo :: Number foo = true
-- @shouldFailWith TypesDoNotUnify module Main where class Foo a where foo :: a instance fooNumber :: Foo Number where foo :: Number foo = true