reverting FunctorOk since it is in FunctorLaws, stratifying Fun into
PreFun