when package:optics-core

Show a custom type error if p is true.