I agree, this is definitely a problem, especially for more ambitious use cases. I've done quite well without e.g. typeclasses, though.