typeside t schema s : t instance i : s ---------------------------------- instance (include i : S) : s