Type refinement...

by Seb Kay