op :: (a :-: b) => a -> b