у тебя в языке нет частичного применения (самое ближайшее, что к этому есть - это, собственно, классы), нет хкт, нет тайпклассов, соответственно нет ридер монады, потому через некоторое время (и/или количество компонентов) заебешься каждый раз при вызове функции зависимости ей передавать