Changing implementation of <*>