Tried out some stuff with some representation of strictly positive types.