applicative
Fix type issues