Type a' is not type a' #### Ambigious error