How to use local type as functor?

英 美
  • 似乎不能接受局部类型。难道没有变通方法？
目录 查词历史