Now typechecks! Monomorphism restriction was playing up.