makeState should also have .isMonadCtor property