Penultimate First Take

Doesn’t quite work. Seems to be a type error having to do with the
product of the type variables involved in our match. I believe the
error lies in the third case!