:set -XPartialTypeSignatures -fno-warn-partial-type-signatures
:kind _
:kind Maybe _