Type Definition myopic::lens::GetFun

type GetFun<D, A> = dyn Fn(&D) -> A;

The GetFun type is for getters. These getters produce a A from a reference to a D.