https://lemmy.ml/u/lambda_notation