op a : a -> b -> c
op e: a=e=e