小编sou*_*oon的帖子

没有好的方法可以删除特定水龙头中的所有内容。我试过了untap; 它只是打开水龙头的水龙头，但不处理从水龙头安装的软件包，而实际上重新安装从水龙头安装的软件包将导致窃听该特定的水龙头。

如果没有很好的方法来卸载tap及其软件包，是否有办法列出所有已安装的软件包并显示它们来自哪个tap？

我做了一些搜索并认为这LiberalTypeSynonyms会允许。在某些情况下，它允许用作partially applied type synonymsType 的参数。

{-# LANGUAGE LiberalTypeSynonyms #-}\n\ntype Value a = ExceptT [a] Identity a\ntype Apply m a = m a\nrun1 :: Apply Value a -> IO ()\nrun1 e = undefined \n

但以下内容在 TypeApplications 中不起作用，为什么以及是否可以对其进行编译？

{-# LANGUAGE LiberalTypeSynonyms #-}\n{-# LANGUAGE TypeApplications #-}\n\ntype Value a = ExceptT [a] Identity a\n\nrun :: m Int -> IO ()\nrun e = undefined \n\nmain :: IO ()\nmain = do\n    print "begin"\n    let a = run @Value \n …