Если есть `instance Monad Field`, то почему не сделать из него Applicative?
```
instance Applicative Field where
    pure = return
    <*> = ap
```