Given these types:
type Bar = number;
type Foo = {
bar: Bar,
};
And this point-free conversion function fooToBar:
import { prop } from 'ramda';
const fooToBar = prop('bar');
Is it possible to annotate fooToBar's signature of Foo -> Bar?