import "Prelude"

deepId :: FooBar b => b -> a -> a
deepId count x = deepId2 count x
deepId2 count x = if count <= 0 then x else deepId (count-1) x

main = deepId (5 :: Integer) "FOO"
--
3:11-3:17: Unresolved type class FooBar.