Use This Weird Trick to parameterize Rec by arbitrary El