Optional<S, A>

typedef Optional<S, A> = POptional<S, S, A, A>

A POptional where the source and target types are the same.