UncurriableCU
Uncurriable with fundeps