wip/hs-data-accessor-monads-fd
