The Euler characteristic of instanton Floer homology agrees with the Casson invariant. Thomas introduced the notion of holomorphic Casson invariant, defined using the holomorphic Chern-Simons functional. Is there any reasonable way a 'holomorphic' instanton Floer homology might exist?