Fixes #1

Not sure why though. Morphisms is parametrized explicitly by the category in question, but for some reason Agda seems to treat it as an implicit parameter to the iso* family of functions. Either an Agda bug or behavior change?