purescript-0.15.15: 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