то есть MyType - это не а, потому что длиннее или потому что с заглавной буквы? И наверное он имеет другие свойства, если то же самое во всех аргументах тире возвращаемых функциях прописывать, чем если делать это с а
Да, в хаскеле, есть смешная хрень, что маленькие буквы в типе - это дженерик параметры, а большие буквы - это конкретные типы