Modules

type constraints with coercion to load the class