Тут есть некоторые мысли по курсовой
Я их пишу в свободной форме, чтобы у меня было, что написать в отчете потом ну и чтобы было, что рассказать на защите, что написать в презентации.
Это библиотека, содержащая два класса типов - ShowP и ReadP (от слова perfect), которые позволяют читать и отображать представителей типов с ассоциативными операторами с минимально возможным количеством скобок, они являются дополнением стандартных классов Show и Read и, в том числе, их реализации могут быть автоматически сгенерированы.