midway through eval function for Coquet-like type, removed all unnecessarily passed implicit arguments