wibble
Properly dualize fixpoints