Update refl -> Refl
Laziness interferes with the types

Can't use (||) directly now because "Lazy" is now in the type,
interferring with the class definition.