i think the simplest example i know is that compose(compose, compose) types as Any -> Any, despite the fact that it could be typed as (A -> B) -> (C -> D -> A) -> C -> D -> B

am i making the wisest decision by trying to use semantic editor combinators in python? no. am i still going to get upset about it? yes.

you can't even manually force a type onto it, because pointfree function definitions in python can't use type variables