Adds Future to Applicative, uses companion for instances