Add another type based on `Fix` and `ComposedFunction`, for callables that call `convert` before calling typeassert`?