Yeah, HKT is a godsend. It surprises me that Scala, one of the few languages that actually supports it, doesn't really use monads and all that good stuff in the

Yeah, HKT is a godsend. It surprises me that Scala, one of the few languages that actually supports it, doesn't really use monads and all that good stuff in the base language. Like the fact that Scala uses duck-typing for the 'for' construct (it just looks for map, flatMap, filter) has always seemed odd.