ну да, т.е. если есть алиас с роу, то либо () (если ничего не надо дополнительно в объекте, ну типа options ∷ Options Int ()), либо определять свой тип и указывать явно (options ∷ Options Int ( width :: Int, height :: Int, ...)), в моем случае там столько настроек, что чувак запарился бы их описывать в типах, поэтому видимо оставил _
эти вайлдкарты мб реально удобно использовать как затычки, чтобы посмотреть тип (типа как дырки,да), но оставлять так понятное дело нельзя
(в общем то @kana_sama это и написал вначале)

ребята, всем привет и доброй ночи!
можете помочь?
я определила show для своего типа, все выводится, но выводится в странном виде, не могу понять, как убрать лишний текст перед нужным:
ожидается: Foo
выводится на самом деле: Main.Foo

Я конечно догадываюсь, что это название модуля, но как убрать я инфы не нашла/не додумалась

А если не через Generic, то нужно делать что-то типо "перебора" параметров?
show Foo = "Foo"
show Bar = "Bar"
а если много параметров, есть какой-то быстрый способ?