типа Imba с другими типами (Fire, Water, Grass), чтобы не писать все варианты для каждого из типов ?https://repl.it/repls/MatureLongtermParallelalgorithm
Смутно напоминает type family tutorial: https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/type-families-and-pokemon
да, instance Battle Imba a (по ссылке на мобилке ходить не хочу)
i updated: https://repl.it/repls/HarmoniousMassiveIteration
Обсуждают сегодня