Goose  Diff

    {
        static auto type = ValueToIRExpr( ::ToValue( tf.type() ) );
        return type;
    }

    Value Bridge< TFunc >::ToValue( const TFunc& tf )
    {
        // TODO build and include the signature
        return Value( Type( tf ), TERM( tf.toks() ) );
        return Value( Type( tf ), TVEC( tf.signature(),
            TERM( static_pointer_cast< void >( tf.toks() ) ) ) );
    }

    optional< TFunc > Bridge< TFunc >::FromValue( const Value& v )
    {
        auto typeVal = ValueFromIRExpr( v.type() );
        auto type = ::FromValue< TFuncType >( *typeVal );
        if( !type )
            return nullopt;

        auto result = Decompose( v.val(),
            Vec(
                SubTerm(),              // signature
                Val< ptr< void > >()    // toks
            )
        );

        if( !result )
            return nullopt;

        auto&& [signature, toks] = *result;
        auto pBodyToks = static_pointer_cast< vector< Term > >( toks );

        return TFunc( move( *type ), get< pvec >( v.val().content() ) );
        return TFunc( move( *type ), move( signature ), move( pBodyToks ) );
    }
}