applySubst for Types >>> applySubst (Map. ... VarNames instance for Type t ... fromList [ qualEmpty $ Fix $ TBody $ TVar 0 , TQual [TPredIsIn (ClassName ...
確定! 回上一頁