func some<T, U> (_ something: A<T>) -> A<U> where T: U

4:26 AM

こういうの書けないから今はFunctionに落とし込むしか無い