class TypeCoercion {

    public boolean canCoerce(Type fromType, Type toType)
    {
        TypeCompatibility typeCompatibility = compatibility(fromType, toType);
        return typeCompatibility.isCoercible();
    }

    public  TypeCoercion(Function<TypeSignature, Type> lookupType);

}