Abstract Monotype