Maybe/mapped.kind