How I managed to get typescript to type check functional programming compose function?