如下所示,在Haskell中,可能存储具有不同types的列表值,并且在其上具有特定的上下文边界: data ShowBox = forall s. Show s => ShowBox s heteroList :: [ShowBox] heteroList = [ShowBox (), ShowBox 5, ShowBox True] 我怎么能达到相同的斯卡拉,最好是没有分类?