Add n+k pattern.
Pass -XNPlusKPatterns to GHCi
Add add function.
Define add using lambdas.