Не хватает аргументов )

Каких?

Ну я так понимаю, типа где-то не хватает.  
Expecting one more argument to Rect
Expected a type, but Rect has kind * ->*

вы написали data Rect a, это означает, что надо после слова Rect указать параметр

Всё так. Kind * → * означает что Rect принимает аргумент типа. Как сказал Юрий, он обозначен как a. Следующий шаг — попробовать указать его в instance.

Плакала педагогика кровавыми слезами!

Кстати, я заметил, чет вы мне наврали. Сказали, что через ghc, ничего графическое не запустится. Первый запуск нужен через кабал, а дальше ты код можешь вертеть как хочешь, если библиотеки будут связаны с зависимостями в .кабал файле, то ghc все запустит однозначно, и легко. Но я, не подумайте, не тупой и просек фишку, при первом запуске через cabal new-run создаётся новый файл, с названием типа x86_64....linux.......environment, ну короче я так понял это своеобразныы конфиг с параметрами запуска программы, я правильно понял?

А так через гхц все собирается отлично

Даже гуй программы

да никто тебе не врал

если тебе нравится искать сложные решения пожалуйста

Смотреть, как конфигурировать никс, писать конфиг

но если всё равно первый раз надо кабалом собрать, зачем что-то ещё потом менять

плюс кабал сам поставит тебе нужные версии зависимостей

А зачем кабал ньюбуилд если есть кабал ньюран

Ну вот через никс легко по модулю сломанных пакетов, без никса вроде тоже можно, но я давно не пробовал

instance Show (Rect a) where
...
Теперь ругается, что нет инстанса
Show a, что логично

И кабал ньюбилд можно выкинуть, я без него пробовал. Или этот способ что-то ломает

Есть разные пути, поменять чекаут nixpkgs, скачать сорцы и поправить в них что сломано, или брать версию не из nixpkgs, а с гитхаба, вдруг там уже починили