Better type signature on applicativeFA