writerIsTellAndMap
FunctorTellLaws