// Idea of this test is to ensure that generic type variables
// and constraints are handled correctly with mutually recursive
// functions

import "Prelude"

deepId count x = deepId2 count x
deepId2 count x = if count <= 0 then x else deepId (count-1) x

main = deepId 5 "FOO"
--
FOO