Monomorphism restriction attacks again.