stub for blog post about dep. typed lambda-calc