Replaces lambdas in Types.hs with point-free