purescript-0.12.0: tests/purs/failing/InstanceSigsDifferentTypes.purs
-- @shouldFailWith TypesDoNotUnify module Main where class Foo a where foo :: a instance fooNumber :: Foo Number where foo :: Int foo = 0.0
-- @shouldFailWith TypesDoNotUnify module Main where class Foo a where foo :: a instance fooNumber :: Foo Number where foo :: Int foo = 0.0