Simpler implementation of coinduction