[kfl]

Yes in ML you'd have to eta-expand first:

    val id : 'a -> 'a
    fun id x = id x