今、社内 Slack で Scala の拡張 for 式について話してたんですが、 @tarunon さんあたりは Swift にも Higher kinded type と Haskell の do 記法的なものがほしい派ですか？