Add proper support for coinduction kit