dottyping experiments, why not define everything without ops??