Don't approximate lazy types
(temporary hack to remove a compilation error in Kotlin)