@@ -98,7 +98,7 @@ instance
98 ) => AsType a s where
98 ) => AsType a s where
101− = repIso . _GTyped
101+ = prism injectTyped (either (Left . to) Right . gprojectTyped . from)
102 injectTyped
102 injectTyped
103 = to . ginjectTyped
103 = to . ginjectTyped
104 projectTyped
104 projectTyped