How to use expand(<sometype>) if some predicate of the type are [list]

where should I report this issue?