WIP: introduce full-complex function type