What the implicit print of a top-level value reads (see readsOfAutoPrint): every option if a method may print it (dispatched).
print
dispatched
What the implicit
printof a top-level value reads (see readsOfAutoPrint): every option if a method may print it (dispatched).