Дело не в типизации. В выражении (s' . id) . s, если его развернуть в лямбду, по-прежнему будут три свободные переменные. А в правой части - в id - свободных переменных нет:

id = \x -> x

То есть

id 42              ~> 42
((s' . id) . s) 42 ~> хрена лысого :)