[k]) :: [x]
type instance Ma f '[] = '[]
type instance Ma f (x : xs) = f x : Ma f xs
Тайплевел мэп. Где готовый взять?
singletons
Обсуждают сегодня