Moves classes to Control.Category.Structures.
Add category instances for ReifiedSemiIso'.
Add minimal pragmas.
Add comment, remove (~$/) and (~$~) for clarity.
Updated description.