As long as the types, variables and function names have proper names. And not `A -> A -> B -> [B, D]` (looking at you, Haskell).