So, only use the type class for contractive functors.
Attach a file by drag & drop or click to upload