Complex

a -> a -> Complex a
a -> Complex a
Complex a -> (a,a)
Complex a -> a
Complex a -> Complex a