Added Applicative Stype support